something is a kind of an honesty and it does lob fleeting.
sent1: there is something such that the fact that it is a Clitocybe is not wrong. sent2: if the saury is not a no but it does lob fleeting it does not lob sip. sent3: the flutist does not lob fleeting. sent4: the appreciator does not lob sip. sent5: the saury is a Chesterton. sent6: if something that is not extraterritorial is no it does not lob sip. sent7: if something is a Jotun the passer is not no. sent8: the appreciator does not lob sip if the passer does not lob sip. sent9: the spouter is not phonogramic if there is something such that that the fact that it does not edge drawee and it is phonogramic is not wrong is not right. sent10: the passer is not extraterritorial and not a no if there exists something such that it is a kind of a Jotun. sent11: if the passer does not lob sip then the appreciator cultivates but it does not lob sip. sent12: there is something such that the fact that it does not edge drawee and is phonogramic is not correct. sent13: something does not lob sip if it is not extraterritorial and it is not a no. sent14: the saury lobs fleeting and is a Chesterton if the spouter is not phonogramic. sent15: if something that cultivates does not lob sip the fact that the flutist does digitize iconography hold. sent16: there exists something such that it is not a Chesterton. sent17: if the flutist does digitize iconography then the saury is an honesty. sent18: there is something such that it is a Jotun.
sent18 & sent10 -> int1: the passer is non-extraterritorial and it is not no.; sent13 -> int2: if the passer is not extraterritorial and it is not a no then it does not lob sip.; int1 & int2 -> int3: the passer does not lob sip.; int3 & sent11 -> int4: the appreciator cultivates and does not lob sip.; int4 -> int5: there is something such that it does cultivate and it does not lob sip.; int5 & sent15 -> int6: the flutist digitizes iconography.; int6 & sent17 -> int7: the saury is an honesty.; sent12 & sent9 -> int8: the spouter is not phonogramic.; sent14 & int8 -> int9: the saury does lob fleeting and it is a Chesterton.; int9 -> int10: the saury lobs fleeting.; int7 & int10 -> int11: the saury is an honesty and it does lob fleeting.; int11 -> hypothesis;
$hypothesis$ = something is a kind of an honesty and it does lob fleeting. ; $context$ = sent1: there is something such that the fact that it is a Clitocybe is not wrong. sent2: if the saury is not a no but it does lob fleeting it does not lob sip. sent3: the flutist does not lob fleeting. sent4: the appreciator does not lob sip. sent5: the saury is a Chesterton. sent6: if something that is not extraterritorial is no it does not lob sip. sent7: if something is a Jotun the passer is not no. sent8: the appreciator does not lob sip if the passer does not lob sip. sent9: the spouter is not phonogramic if there is something such that that the fact that it does not edge drawee and it is phonogramic is not wrong is not right. sent10: the passer is not extraterritorial and not a no if there exists something such that it is a kind of a Jotun. sent11: if the passer does not lob sip then the appreciator cultivates but it does not lob sip. sent12: there is something such that the fact that it does not edge drawee and is phonogramic is not correct. sent13: something does not lob sip if it is not extraterritorial and it is not a no. sent14: the saury lobs fleeting and is a Chesterton if the spouter is not phonogramic. sent15: if something that cultivates does not lob sip the fact that the flutist does digitize iconography hold. sent16: there exists something such that it is not a Chesterton. sent17: if the flutist does digitize iconography then the saury is an honesty. sent18: there is something such that it is a Jotun. ; $proof$ = 
sent18 & sent10 -> int1: the passer is non-extraterritorial and it is not no.; sent13 -> int2: if the passer is not extraterritorial and it is not a no then it does not lob sip.; int1 & int2 -> int3: the passer does not lob sip.; int3 & sent11 -> int4: the appreciator cultivates and does not lob sip.; int4 -> int5: there is something such that it does cultivate and it does not lob sip.; int5 & sent15 -> int6: the flutist digitizes iconography.; int6 & sent17 -> int7: the saury is an honesty.; sent12 & sent9 -> int8: the spouter is not phonogramic.; sent14 & int8 -> int9: the saury does lob fleeting and it is a Chesterton.; int9 -> int10: the saury lobs fleeting.; int7 & int10 -> int11: the saury is an honesty and it does lob fleeting.; int11 -> hypothesis; __PROVED__