the hash jellifies heartland and is not endodontic.
sent1: if something preempts perinatologist the hash is tuberous. sent2: a tuberous thing exceeds Acer. sent3: if the fact that the hell-kite is apopemptic and is not a squawk does not hold then the hash jellifies heartland. sent4: the Philippian is not a turbinate if something that is endodontic exceeds Acer. sent5: something is not apopemptic. sent6: there exists something such that it does preempt perinatologist. sent7: the hell-kite is a turbinate. sent8: that the scyphus does not exceed Levantine and does not exceed Varese is not correct. sent9: the fact that the scyphus does exceed Varese and squawks is not true. sent10: something does not preempt perinatologist if it is not tuberous. sent11: the Philippian is non-tuberous thing that does not exceed Acer if the hell-kite is a kind of a turbinate. sent12: the Philippian is a turbinate if there is something such that that it does not exceed Levantine and it does not exceed Varese is incorrect. sent13: the fact that the hell-kite is apopemptic but it does not squawk is false if there is something such that it is not apopemptic.
sent6 & sent1 -> int1: the hash is tuberous.; sent2 -> int2: the hash does exceed Acer if it is tuberous.; int1 & int2 -> int3: the fact that the hash does exceed Acer is not incorrect.; void -> assump1: Let's assume that the hash is endodontic.; int3 & assump1 -> int4: the hash is endodontic and it exceeds Acer.; int4 -> int5: there exists something such that it is endodontic thing that exceeds Acer.; int5 & sent4 -> int6: the Philippian is non-turbinate.; sent8 -> int7: there is something such that that it does not exceed Levantine and does not exceed Varese does not hold.; int7 & sent12 -> int8: the Philippian is a turbinate.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the hash is not endodontic.; sent5 & sent13 -> int11: the fact that the hell-kite is apopemptic but it is not a squawk does not hold.; sent3 & int11 -> int12: the hash jellifies heartland.; int10 & int12 -> hypothesis;
the fact that the hash jellifies heartland and is not endodontic does not hold.
sent10 -> int13: if the Philippian is not tuberous then it does not preempt perinatologist.; sent11 & sent7 -> int14: the Philippian is not tuberous and it does not exceed Acer.; int14 -> int15: the Philippian is not tuberous.; int13 & int15 -> int16: the Philippian does not preempt perinatologist.;
$hypothesis$ = the hash jellifies heartland and is not endodontic. ; $context$ = sent1: if something preempts perinatologist the hash is tuberous. sent2: a tuberous thing exceeds Acer. sent3: if the fact that the hell-kite is apopemptic and is not a squawk does not hold then the hash jellifies heartland. sent4: the Philippian is not a turbinate if something that is endodontic exceeds Acer. sent5: something is not apopemptic. sent6: there exists something such that it does preempt perinatologist. sent7: the hell-kite is a turbinate. sent8: that the scyphus does not exceed Levantine and does not exceed Varese is not correct. sent9: the fact that the scyphus does exceed Varese and squawks is not true. sent10: something does not preempt perinatologist if it is not tuberous. sent11: the Philippian is non-tuberous thing that does not exceed Acer if the hell-kite is a kind of a turbinate. sent12: the Philippian is a turbinate if there is something such that that it does not exceed Levantine and it does not exceed Varese is incorrect. sent13: the fact that the hell-kite is apopemptic but it does not squawk is false if there is something such that it is not apopemptic. ; $proof$ = 
sent6 & sent1 -> int1: the hash is tuberous.; sent2 -> int2: the hash does exceed Acer if it is tuberous.; int1 & int2 -> int3: the fact that the hash does exceed Acer is not incorrect.; void -> assump1: Let's assume that the hash is endodontic.; int3 & assump1 -> int4: the hash is endodontic and it exceeds Acer.; int4 -> int5: there exists something such that it is endodontic thing that exceeds Acer.; int5 & sent4 -> int6: the Philippian is non-turbinate.; sent8 -> int7: there is something such that that it does not exceed Levantine and does not exceed Varese does not hold.; int7 & sent12 -> int8: the Philippian is a turbinate.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the hash is not endodontic.; sent5 & sent13 -> int11: the fact that the hell-kite is apopemptic but it is not a squawk does not hold.; sent3 & int11 -> int12: the hash jellifies heartland.; int10 & int12 -> hypothesis; __PROVED__