the illustrator scoffs redeposition.
sent1: the portmanteau is literal. sent2: the illustrator is an optimism if something does exalt sweeper and is avifaunal. sent3: the portmanteau is a kind of a gossiping. sent4: there exists something such that it is avifaunal. sent5: something is a kind of a gneiss if that it does not exalt CBR and does not penetrate is not right. sent6: if the illustrator is not avifaunal and does not exalt CBR the sweeper scoffs redeposition. sent7: that the illustrator is avifaunal is correct. sent8: if the fact that either the portmanteau is an optimism or it is not avifaunal or both is not true then the fact that the here is not avifaunal hold. sent9: the sweeper is a kind of a schizoid and exalts sweeper. sent10: the portmanteau is not a CABG. sent11: the illustrator does scoff redeposition if it is an optimism. sent12: if the sweeper exalts CBR the fact that it is a gneiss hold. sent13: the CBR is avifaunal. sent14: the sweeper is a Quoratean and it is a conservator. sent15: the soy does not exalt sweeper and is not ulnar. sent16: that something does not exalt sweeper and does scoff redeposition is false if it is a gneiss. sent17: that the sweeper does exalt CBR but it does not penetrate is not correct. sent18: if something does exalt CBR it is a kind of a gneiss. sent19: if something that does exalt sweeper is avifaunal then the portmanteau does exalt CBR. sent20: something that exalts sweeper scoffs redeposition. sent21: the sweeper does scoff redeposition. sent22: the sweeper is not a gneiss. sent23: the portmanteau is avifaunal and not non-literal. sent24: the Cyril is auspicious and it is avifaunal.
sent5 -> int1: if the fact that the sweeper does not exalt CBR and does not penetrate does not hold then it is a gneiss.; void -> assump1: Let's assume that the fact that the sweeper does not exalt CBR and it does not penetrate is not true.; int1 & assump1 -> int2: the sweeper is a kind of a gneiss.; int2 & sent22 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sweeper does not exalt CBR and does not penetrate.; sent23 -> int5: the portmanteau is avifaunal.;
the illustrator does not scoff redeposition.
sent16 -> int6: that the portmanteau does not exalt sweeper and scoffs redeposition is not true if it is a gneiss.;
$hypothesis$ = the illustrator scoffs redeposition. ; $context$ = sent1: the portmanteau is literal. sent2: the illustrator is an optimism if something does exalt sweeper and is avifaunal. sent3: the portmanteau is a kind of a gossiping. sent4: there exists something such that it is avifaunal. sent5: something is a kind of a gneiss if that it does not exalt CBR and does not penetrate is not right. sent6: if the illustrator is not avifaunal and does not exalt CBR the sweeper scoffs redeposition. sent7: that the illustrator is avifaunal is correct. sent8: if the fact that either the portmanteau is an optimism or it is not avifaunal or both is not true then the fact that the here is not avifaunal hold. sent9: the sweeper is a kind of a schizoid and exalts sweeper. sent10: the portmanteau is not a CABG. sent11: the illustrator does scoff redeposition if it is an optimism. sent12: if the sweeper exalts CBR the fact that it is a gneiss hold. sent13: the CBR is avifaunal. sent14: the sweeper is a Quoratean and it is a conservator. sent15: the soy does not exalt sweeper and is not ulnar. sent16: that something does not exalt sweeper and does scoff redeposition is false if it is a gneiss. sent17: that the sweeper does exalt CBR but it does not penetrate is not correct. sent18: if something does exalt CBR it is a kind of a gneiss. sent19: if something that does exalt sweeper is avifaunal then the portmanteau does exalt CBR. sent20: something that exalts sweeper scoffs redeposition. sent21: the sweeper does scoff redeposition. sent22: the sweeper is not a gneiss. sent23: the portmanteau is avifaunal and not non-literal. sent24: the Cyril is auspicious and it is avifaunal. ; $proof$ = 
sent5 -> int1: if the fact that the sweeper does not exalt CBR and does not penetrate does not hold then it is a gneiss.; void -> assump1: Let's assume that the fact that the sweeper does not exalt CBR and it does not penetrate is not true.; int1 & assump1 -> int2: the sweeper is a kind of a gneiss.; int2 & sent22 -> int3: this is contradiction.; [assump1] & int3 -> int4: the sweeper does not exalt CBR and does not penetrate.; sent23 -> int5: the portmanteau is avifaunal.; __UNKNOWN__