the fact that the archil is not a gone is not wrong.
sent1: the Testudo does not shelter scandalization. sent2: the Testudo does not shelter scandalization if the bib does not undercut and it does not flag. sent3: that something is not later and does pipe busman does not hold if it is not careful. sent4: if the bib does not shelter scandalization and does not pipe busman the bunter is not later. sent5: if the Testudo is not careful that the archil is a kind of careful thing that pipes thermogravimetry is not true. sent6: the Testudo does not flag or it does not pipe thermogravimetry or both. sent7: if there is something such that that it does not undercut hold the bib does not shelter scandalization and it does not pipe busman. sent8: the fact that that the fact that the Testudo is later and it does flag hold is wrong is not incorrect. sent9: if the Testudo is not a kind of a flag and/or it does not pipe thermogravimetry the cappuccino is not an undercut. sent10: the archil is not careful if the bunter is later but not an undercut. sent11: if the bunter is not later the fact that the archil is later and it is careful is not right. sent12: the fact that the cappuccino does not undercut and/or is not careful is not false. sent13: the Testudo is not a flag or pipes thermogravimetry or both. sent14: the bib does not pipe thermogravimetry. sent15: if there exists something such that it shelters scandalization the archil does shelters scandalization and/or does undercut. sent16: something is not a gone if that the fact that it is later and it is careful hold does not hold. sent17: the fact that the bunter pipes busman and it is later is not right. sent18: if that the Testudo is a kind of non-later thing that does pipe busman is wrong that it does shelter scandalization is not incorrect. sent19: the bib does not pipe busman or it is not a flag or both.
sent9 & sent6 -> int1: the cappuccino does not undercut.; int1 -> int2: there exists something such that it is not a kind of an undercut.; int2 & sent7 -> int3: the bib does not shelter scandalization and does not pipe busman.; int3 & sent4 -> int4: the bunter is not later.; int4 & sent11 -> int5: that the archil is later and it is careful is not correct.; sent16 -> int6: if the fact that the archil is later thing that is careful is incorrect then it is not a kind of a gone.; int5 & int6 -> hypothesis;
the archil goes.
sent3 -> int7: if that the cappuccino is not careful is correct then that it is a kind of non-later thing that does pipe busman is not true.;
$hypothesis$ = the fact that the archil is not a gone is not wrong. ; $context$ = sent1: the Testudo does not shelter scandalization. sent2: the Testudo does not shelter scandalization if the bib does not undercut and it does not flag. sent3: that something is not later and does pipe busman does not hold if it is not careful. sent4: if the bib does not shelter scandalization and does not pipe busman the bunter is not later. sent5: if the Testudo is not careful that the archil is a kind of careful thing that pipes thermogravimetry is not true. sent6: the Testudo does not flag or it does not pipe thermogravimetry or both. sent7: if there is something such that that it does not undercut hold the bib does not shelter scandalization and it does not pipe busman. sent8: the fact that that the fact that the Testudo is later and it does flag hold is wrong is not incorrect. sent9: if the Testudo is not a kind of a flag and/or it does not pipe thermogravimetry the cappuccino is not an undercut. sent10: the archil is not careful if the bunter is later but not an undercut. sent11: if the bunter is not later the fact that the archil is later and it is careful is not right. sent12: the fact that the cappuccino does not undercut and/or is not careful is not false. sent13: the Testudo is not a flag or pipes thermogravimetry or both. sent14: the bib does not pipe thermogravimetry. sent15: if there exists something such that it shelters scandalization the archil does shelters scandalization and/or does undercut. sent16: something is not a gone if that the fact that it is later and it is careful hold does not hold. sent17: the fact that the bunter pipes busman and it is later is not right. sent18: if that the Testudo is a kind of non-later thing that does pipe busman is wrong that it does shelter scandalization is not incorrect. sent19: the bib does not pipe busman or it is not a flag or both. ; $proof$ = 
sent9 & sent6 -> int1: the cappuccino does not undercut.; int1 -> int2: there exists something such that it is not a kind of an undercut.; int2 & sent7 -> int3: the bib does not shelter scandalization and does not pipe busman.; int3 & sent4 -> int4: the bunter is not later.; int4 & sent11 -> int5: that the archil is later and it is careful is not correct.; sent16 -> int6: if the fact that the archil is later thing that is careful is incorrect then it is not a kind of a gone.; int5 & int6 -> hypothesis; __PROVED__