the fact that there exists something such that if it does not truck Porto it is both not circadian and not a Katharevusa does not hold.
sent1: if the agnate trucks Porto then it is not circadian and it is not a Katharevusa. sent2: the carboxyl is not circadian. sent3: the agnate is not revocable. sent4: if something that does not roll message is a Alabaman it is not a Katharevusa. sent5: the agnate is not a kind of a ditch. sent6: that there is something such that if it is not albitic then the fact that it does not truck Porto is correct is correct. sent7: there is something such that if it does truck flatlet it does not truck dacryon and is not a Bollywood. sent8: if something is not a kind of a entellus and rolls limiter it is not a Liverpudlian. sent9: the agnate is not albitic. sent10: if something does not truck Porto then it is not circadian. sent11: that the caboose does not truck pentacle hold if it is not circadian and it does roll therapist. sent12: there exists something such that if it does not truck Porto then it does not roll message and is not albitic. sent13: that the mimosa is not a Alabaman but it is nutritional is not incorrect. sent14: the agnate does not roll message and is a kind of a Alabaman if it is not albitic. sent15: if something is not phenomenal it is not a Alabaman. sent16: if the agnate does truck Porto it is not circadian.
sent10 -> int1: if the agnate does not truck Porto it is not circadian.; void -> assump1: Let's assume that that the agnate does not truck Porto is not wrong.; int1 & assump1 -> int2: the agnate is not circadian.; sent4 -> int3: if the agnate does not roll message and is a Alabaman it is not a Katharevusa.; sent14 & sent9 -> int4: the agnate does not roll message but it is a kind of a Alabaman.; int3 & int4 -> int5: the agnate is not a kind of a Katharevusa.; int2 & int5 -> int6: the agnate is not circadian and it is not a Katharevusa.; [assump1] & int6 -> int7: the agnate is not circadian and is not a Katharevusa if that it does not truck Porto is right.; int7 -> hypothesis;
the squid is not a kind of a Alabaman if it is not phenomenal.
sent15 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not truck Porto it is both not circadian and not a Katharevusa does not hold. ; $context$ = sent1: if the agnate trucks Porto then it is not circadian and it is not a Katharevusa. sent2: the carboxyl is not circadian. sent3: the agnate is not revocable. sent4: if something that does not roll message is a Alabaman it is not a Katharevusa. sent5: the agnate is not a kind of a ditch. sent6: that there is something such that if it is not albitic then the fact that it does not truck Porto is correct is correct. sent7: there is something such that if it does truck flatlet it does not truck dacryon and is not a Bollywood. sent8: if something is not a kind of a entellus and rolls limiter it is not a Liverpudlian. sent9: the agnate is not albitic. sent10: if something does not truck Porto then it is not circadian. sent11: that the caboose does not truck pentacle hold if it is not circadian and it does roll therapist. sent12: there exists something such that if it does not truck Porto then it does not roll message and is not albitic. sent13: that the mimosa is not a Alabaman but it is nutritional is not incorrect. sent14: the agnate does not roll message and is a kind of a Alabaman if it is not albitic. sent15: if something is not phenomenal it is not a Alabaman. sent16: if the agnate does truck Porto it is not circadian. ; $proof$ = 
sent10 -> int1: if the agnate does not truck Porto it is not circadian.; void -> assump1: Let's assume that that the agnate does not truck Porto is not wrong.; int1 & assump1 -> int2: the agnate is not circadian.; sent4 -> int3: if the agnate does not roll message and is a Alabaman it is not a Katharevusa.; sent14 & sent9 -> int4: the agnate does not roll message but it is a kind of a Alabaman.; int3 & int4 -> int5: the agnate is not a kind of a Katharevusa.; int2 & int5 -> int6: the agnate is not circadian and it is not a Katharevusa.; [assump1] & int6 -> int7: the agnate is not circadian and is not a Katharevusa if that it does not truck Porto is right.; int7 -> hypothesis; __DISPROVED__