the sago is not factual.
sent1: if something is a kind of a tineid and it is a kind of a quarantine it is not a kind of a malmsey. sent2: something does not lob basidiolichen and it does not garner if it is a mode. sent3: the sago lobs basidiolichen if it does garner. sent4: there is something such that it either is not a Viperidae or is a grocery or both. sent5: there exists something such that the fact that it is not a Viperidae and/or it is a kind of a grocery is incorrect. sent6: either the single-leaf is not vestiary or it is not a gynecologist or both if there exists something such that it does not lob basidiolichen. sent7: if that the framer is factual and not a Eisenstaedt is incorrect then the sago is not factual. sent8: the larkspur is a Cotonou and it is a Tracy if it does not bog Prosopium. sent9: something is factual if it is not a gynecologist. sent10: the fact that the sago is vestiary is true if it is a kind of a Eisenstaedt. sent11: the fact that something is factual but it is not a Eisenstaedt is false if it is not vestiary. sent12: the framer is not vestiary if the single-leaf is not vestiary. sent13: if there exists something such that that it is a Viperidae or it is a grocery or both is not true then the sago is a Eisenstaedt. sent14: the sago does garner. sent15: the larkspur does not bog Prosopium. sent16: if there exists something such that that it is not a Viperidae and/or it is a grocery is not true then the sago is a kind of a Eisenstaedt. sent17: if the larkspur is a Cotonou then the fact that the adapter is basics thing that is not a kind of a Asteridae does not hold. sent18: if something that is a gynecologist is vestiary it does not lob basidiolichen. sent19: the sago does not edge Netscape. sent20: if that something is a basics but it is not a kind of a Asteridae is incorrect that it is a mode is not wrong. sent21: there is something such that it is a Viperidae.
sent5 & sent16 -> int1: the sago is a Eisenstaedt.; int1 & sent10 -> int2: the sago is vestiary.; void -> assump1: Let's assume that the sago is a gynecologist.; int2 & assump1 -> int3: the sago is a gynecologist and it is vestiary.; sent18 -> int4: the sago does not lob basidiolichen if it is a gynecologist and it is vestiary.; int3 & int4 -> int5: the sago does not lob basidiolichen.; sent3 & sent14 -> int6: the sago lobs basidiolichen.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the sago is not a gynecologist is right.; sent9 -> int9: the sago is factual if it is not a kind of a gynecologist.; int8 & int9 -> hypothesis;
the sago is not factual.
sent11 -> int10: the fact that the framer is factual and is not a kind of a Eisenstaedt is false if it is not vestiary.; sent2 -> int11: if the adapter is a kind of a mode then it does not lob basidiolichen and does not garner.; sent20 -> int12: the adapter is a mode if the fact that it is a kind of basics thing that is not a Asteridae does not hold.; sent8 & sent15 -> int13: the larkspur is a Cotonou and it is a Tracy.; int13 -> int14: the larkspur is a Cotonou.; sent17 & int14 -> int15: the fact that the adapter is a basics but it is not a kind of a Asteridae does not hold.; int12 & int15 -> int16: the adapter is a mode.; int11 & int16 -> int17: the adapter does not lob basidiolichen and does not garner.; int17 -> int18: the adapter does not lob basidiolichen.; int18 -> int19: there is something such that it does not lob basidiolichen.; int19 & sent6 -> int20: the single-leaf is not vestiary and/or it is not a kind of a gynecologist.;
$hypothesis$ = the sago is not factual. ; $context$ = sent1: if something is a kind of a tineid and it is a kind of a quarantine it is not a kind of a malmsey. sent2: something does not lob basidiolichen and it does not garner if it is a mode. sent3: the sago lobs basidiolichen if it does garner. sent4: there is something such that it either is not a Viperidae or is a grocery or both. sent5: there exists something such that the fact that it is not a Viperidae and/or it is a kind of a grocery is incorrect. sent6: either the single-leaf is not vestiary or it is not a gynecologist or both if there exists something such that it does not lob basidiolichen. sent7: if that the framer is factual and not a Eisenstaedt is incorrect then the sago is not factual. sent8: the larkspur is a Cotonou and it is a Tracy if it does not bog Prosopium. sent9: something is factual if it is not a gynecologist. sent10: the fact that the sago is vestiary is true if it is a kind of a Eisenstaedt. sent11: the fact that something is factual but it is not a Eisenstaedt is false if it is not vestiary. sent12: the framer is not vestiary if the single-leaf is not vestiary. sent13: if there exists something such that that it is a Viperidae or it is a grocery or both is not true then the sago is a Eisenstaedt. sent14: the sago does garner. sent15: the larkspur does not bog Prosopium. sent16: if there exists something such that that it is not a Viperidae and/or it is a grocery is not true then the sago is a kind of a Eisenstaedt. sent17: if the larkspur is a Cotonou then the fact that the adapter is basics thing that is not a kind of a Asteridae does not hold. sent18: if something that is a gynecologist is vestiary it does not lob basidiolichen. sent19: the sago does not edge Netscape. sent20: if that something is a basics but it is not a kind of a Asteridae is incorrect that it is a mode is not wrong. sent21: there is something such that it is a Viperidae. ; $proof$ = 
sent5 & sent16 -> int1: the sago is a Eisenstaedt.; int1 & sent10 -> int2: the sago is vestiary.; void -> assump1: Let's assume that the sago is a gynecologist.; int2 & assump1 -> int3: the sago is a gynecologist and it is vestiary.; sent18 -> int4: the sago does not lob basidiolichen if it is a gynecologist and it is vestiary.; int3 & int4 -> int5: the sago does not lob basidiolichen.; sent3 & sent14 -> int6: the sago lobs basidiolichen.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the sago is not a gynecologist is right.; sent9 -> int9: the sago is factual if it is not a kind of a gynecologist.; int8 & int9 -> hypothesis; __DISPROVED__