Statement: when the girls singles was lindaweni fanetri , the mixed doubles were wifqi windarto and debby susanto

Input Table: indonesian national badminton championships

Step 1: Select rows where 'girls_singles' is 'lindaweni fanetri'.
year boys_singles girls_singles boys_doubles girls_doubles mixed_doubles
2001 holvy de pauw maria kristin yulianti hendra setiawan joko riyadi lilyana natsir natalia poluakan hendra setiawan greysia polii
2002 andre kurniawan tedjono fransisca ratnasari ujang suherlan yoga ukikasah purwati meiliana jauhari muhammad rijal meiliana jauhari
2003 alamsyah yunus wiwis meilyanna fran kurniawan chandra kowi pia zebadiah nitya krishinda maheswari fran kurniawan yulianti
2004 andre kurniawan tedjono pia zebadiah aditya dwi putra i made agung pia zebadiah nitya krishinda maheswari lingga lie yulianti
2005 achmad rivai bellaetrix manuputty rio willianto davin prawidssa lily siswanti shendy puspa irawati abdul rahman richi puspita dili
2006 nugroho andi saputro sylvinna kurniawan danny bawa chrisnanta afiat yuris wirawan bellaetrix manuputty samantha lintang danny bawa chrisnanta debby susanto
2007 nandang arif lindaweni fanetri budi hartono yohanes rendy sugiarto anneke feinya agustin wenny setiawati wifqi windarto debby susanto
2008 hermansyah ana rovita didit juang indrianto seiko wahyu kusdianto suci rizki andini tiara rosalia nuraidah irfan fadhilah weni anggraeni
2009 riyanto subagja ana rovita jones ralfy jansen dandi prabudita ayu pratiwi anggi widia didit juang indrianto yayu rahayu
2010 shesar hiren rhustavito ganis nur rahmadani jones ralfy jansen dandi prabudita aris budiharti dian fitriani jones ralfy jansen nurbeta kwanrico
Step 2: Select rows where 'mixed_doubles' is 'wifqi windarto debby susanto'.
year boys_singles girls_singles boys_doubles girls_doubles mixed_doubles
2007 nandang arif lindaweni fanetri budi hartono yohanes rendy sugiarto anneke feinya agustin wenny setiawati wifqi windarto debby susanto
Step 3: Use a `CASE` statement to return TRUE if the number of rows is equal to 1, otherwise return FALSE.
year boys_singles girls_singles boys_doubles girls_doubles mixed_doubles
2007 nandang arif lindaweni fanetri budi hartono yohanes rendy sugiarto anneke feinya agustin wenny setiawati wifqi windarto debby susanto
Final output table:
verification_result
TRUE

Prediction: TRUE