the fact that the Brazilian farts Death if the Brazilian is not asleep is incorrect.
sent1: the Brazilian does not fart respiration and rigs killer if it does not fart Death. sent2: if that the Brazilian is not asleep is right it is not a basidiocarp and does fart Death. sent3: the Brazilian is not a ball but it does concern. sent4: the Brazilian is not a kind of a basidiocarp but it does fart Death if it is asleep. sent5: the arbitrageur is a basidiocarp if the Brazilian is asleep. sent6: if the Brazilian does not roll sundowner then it is not a kind of a basidiocarp and does fart aba. sent7: if the Brazilian does not freckle Oklahoma then it is not a phon. sent8: if that the ethane is a snot is correct then it does not fart Death and it freckles monotheist. sent9: the Brazilian is a basidiocarp if it is catalatic.
void -> assump1: Let's assume that the Brazilian is not asleep.; sent2 & assump1 -> int1: the Brazilian is not a basidiocarp but it farts Death.; int1 -> int2: the Brazilian does fart Death.; [assump1] & int2 -> hypothesis;
the arbitrageur is a basidiocarp.
$hypothesis$ = the fact that the Brazilian farts Death if the Brazilian is not asleep is incorrect. ; $context$ = sent1: the Brazilian does not fart respiration and rigs killer if it does not fart Death. sent2: if that the Brazilian is not asleep is right it is not a basidiocarp and does fart Death. sent3: the Brazilian is not a ball but it does concern. sent4: the Brazilian is not a kind of a basidiocarp but it does fart Death if it is asleep. sent5: the arbitrageur is a basidiocarp if the Brazilian is asleep. sent6: if the Brazilian does not roll sundowner then it is not a kind of a basidiocarp and does fart aba. sent7: if the Brazilian does not freckle Oklahoma then it is not a phon. sent8: if that the ethane is a snot is correct then it does not fart Death and it freckles monotheist. sent9: the Brazilian is a basidiocarp if it is catalatic. ; $proof$ = 
void -> assump1: Let's assume that the Brazilian is not asleep.; sent2 & assump1 -> int1: the Brazilian is not a basidiocarp but it farts Death.; int1 -> int2: the Brazilian does fart Death.; [assump1] & int2 -> hypothesis; __DISPROVED__