the draft does tin fedelline.
sent1: the draft tins fedelline if the immigrant does efface neoprene. sent2: if something is bulbar then it is a soup. sent3: the dust is a rinse if there exists something such that that it is not a Girru and/or does roof washed is not correct. sent4: there exists something such that it is a shutter. sent5: if the dust is a rinse and it is a soup then the saddlecloth does not soup. sent6: that the immigrant is a kind of a pardon that does brand is false if it does not efface neoprene. sent7: if the draft is bulbar and it does tin fedelline it does not rinse. sent8: that the saddlecloth is a buyer if the fact that the immigrant pardons but it does not brand is wrong hold. sent9: the fact that something is a buyer and does efface neoprene is correct if it is not a soup. sent10: the dust is bulbar if the handcar is nonrepresentational. sent11: if something shutters then that the penknife is not bursal and it does not enrage is false. sent12: The neoprene does not efface immigrant. sent13: if the immigrant does not efface neoprene the fact that it does pardon and it is not a brand is false. sent14: the draft rinses. sent15: the immigrant does not tin fedelline if it soups and effaces neoprene. sent16: the penknife is a dengue if the fact that it is non-bursal thing that does not enrage is not true. sent17: if the draft soups then it is bulbar. sent18: the draft is a soup if the saddlecloth is a kind of a buyer. sent19: the fact that either something is not a Girru or it does roof washed or both is false if it is not penetrable. sent20: that the immigrant pardons and it brands is incorrect. sent21: the fact that the penknife effaces cylinder hold. sent22: the immigrant does not efface neoprene. sent23: if the immigrant does brand then the saddlecloth is a buyer. sent24: if the penknife is a dengue and does efface cylinder then it is not penetrable. sent25: if the saddlecloth effaces neoprene the immigrant does effaces neoprene.
sent13 & sent22 -> int1: the fact that the immigrant is a kind of a pardon and is not a kind of a brand does not hold.; int1 & sent8 -> int2: the saddlecloth is a buyer.; int2 & sent18 -> int3: the draft is a soup.; int3 & sent17 -> int4: the draft is bulbar.; void -> assump1: Let's assume that the draft does tin fedelline.; int4 & assump1 -> int5: the draft is bulbar and tins fedelline.; int5 & sent7 -> int6: the draft does not rinse.; int6 & sent14 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the draft does tin fedelline.
sent9 -> int8: the fact that if the saddlecloth is not the soup the saddlecloth is a buyer and it does efface neoprene is correct.; sent19 -> int9: if the fact that the penknife is not penetrable is not wrong then that it is not a Girru and/or it does roof washed is not correct.; sent4 & sent11 -> int10: that the penknife is non-bursal thing that does not enrage does not hold.; sent16 & int10 -> int11: the penknife is a kind of a dengue.; int11 & sent21 -> int12: the penknife is a dengue and it does efface cylinder.; sent24 & int12 -> int13: the penknife is not penetrable.; int9 & int13 -> int14: the fact that the penknife is not a Girru or it does roof washed or both does not hold.; int14 -> int15: there exists something such that that it either is not a Girru or does roof washed or both does not hold.; int15 & sent3 -> int16: the dust does rinse.; sent2 -> int17: the dust is a soup if it is bulbar.;
$hypothesis$ = the draft does tin fedelline. ; $context$ = sent1: the draft tins fedelline if the immigrant does efface neoprene. sent2: if something is bulbar then it is a soup. sent3: the dust is a rinse if there exists something such that that it is not a Girru and/or does roof washed is not correct. sent4: there exists something such that it is a shutter. sent5: if the dust is a rinse and it is a soup then the saddlecloth does not soup. sent6: that the immigrant is a kind of a pardon that does brand is false if it does not efface neoprene. sent7: if the draft is bulbar and it does tin fedelline it does not rinse. sent8: that the saddlecloth is a buyer if the fact that the immigrant pardons but it does not brand is wrong hold. sent9: the fact that something is a buyer and does efface neoprene is correct if it is not a soup. sent10: the dust is bulbar if the handcar is nonrepresentational. sent11: if something shutters then that the penknife is not bursal and it does not enrage is false. sent12: The neoprene does not efface immigrant. sent13: if the immigrant does not efface neoprene the fact that it does pardon and it is not a brand is false. sent14: the draft rinses. sent15: the immigrant does not tin fedelline if it soups and effaces neoprene. sent16: the penknife is a dengue if the fact that it is non-bursal thing that does not enrage is not true. sent17: if the draft soups then it is bulbar. sent18: the draft is a soup if the saddlecloth is a kind of a buyer. sent19: the fact that either something is not a Girru or it does roof washed or both is false if it is not penetrable. sent20: that the immigrant pardons and it brands is incorrect. sent21: the fact that the penknife effaces cylinder hold. sent22: the immigrant does not efface neoprene. sent23: if the immigrant does brand then the saddlecloth is a buyer. sent24: if the penknife is a dengue and does efface cylinder then it is not penetrable. sent25: if the saddlecloth effaces neoprene the immigrant does effaces neoprene. ; $proof$ = 
sent13 & sent22 -> int1: the fact that the immigrant is a kind of a pardon and is not a kind of a brand does not hold.; int1 & sent8 -> int2: the saddlecloth is a buyer.; int2 & sent18 -> int3: the draft is a soup.; int3 & sent17 -> int4: the draft is bulbar.; void -> assump1: Let's assume that the draft does tin fedelline.; int4 & assump1 -> int5: the draft is bulbar and tins fedelline.; int5 & sent7 -> int6: the draft does not rinse.; int6 & sent14 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__