the spoonbill is non-heathlike.
sent1: the plasmodium is not a kind of a echocardiograph if the allocator is not anisogametic or it is cloze or both. sent2: the nicotine is not monocotyledonous if that the rhododendron is palpable but it is not antheridial is incorrect. sent3: the fact that the rhododendron is palpable but it is not antheridial is not true if there exists something such that the fact that it is not a echocardiograph is not false. sent4: if something is not an elbow that it is not a kind of a Charleston and is heathlike is not true. sent5: if that the aperitif is heathlike hold the spoonbill is heathlike. sent6: the spoonbill does wrong but it is not a Charleston. sent7: the fact that that the spoonbill is not a German but it is heathlike is incorrect is correct. sent8: the spoonbill is palpable and is not antheridial. sent9: something queens Rothko but it is not a kind of an elbow if it does not wrong. sent10: the aperitif is heathlike if the fact that the tomograph is heathlike is not wrong. sent11: if a non-monocotyledonous thing is not palpable the spoonbill is not an elbow. sent12: that something is an elbow and it does Charleston is false if it is not monocotyledonous. sent13: the Interior is monocotyledonous if there is something such that it is palpable but not antheridial. sent14: the allocator is not anisogametic and/or is not non-cloze. sent15: something is not monocotyledonous and is not palpable. sent16: something is heathlike if it is monocotyledonous.
sent6 -> int1: the spoonbill is not a kind of a Charleston.; void -> assump1: Let's assume that the spoonbill is heathlike.; int1 & assump1 -> int2: the spoonbill does not Charleston but it is heathlike.; sent4 -> int3: if the spoonbill does not elbow the fact that it does not Charleston and is heathlike does not hold.; sent15 & sent11 -> int4: the spoonbill is not an elbow.; int3 & int4 -> int5: that the spoonbill is not a Charleston but it is heathlike is not true.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the spoonbill is heathlike.
sent12 -> int7: if the nicotine is not monocotyledonous then the fact that it elbows and it is a Charleston is incorrect.; sent1 & sent14 -> int8: the plasmodium is not a echocardiograph.; int8 -> int9: there is something such that it is not a echocardiograph.; int9 & sent3 -> int10: the fact that the rhododendron is palpable but it is not antheridial is not right.; sent2 & int10 -> int11: the fact that the nicotine is non-monocotyledonous hold.; int7 & int11 -> int12: the fact that the nicotine does elbow and it is a Charleston is not true.; int12 -> int13: there exists something such that the fact that it is both an elbow and a Charleston is not right.;
$hypothesis$ = the spoonbill is non-heathlike. ; $context$ = sent1: the plasmodium is not a kind of a echocardiograph if the allocator is not anisogametic or it is cloze or both. sent2: the nicotine is not monocotyledonous if that the rhododendron is palpable but it is not antheridial is incorrect. sent3: the fact that the rhododendron is palpable but it is not antheridial is not true if there exists something such that the fact that it is not a echocardiograph is not false. sent4: if something is not an elbow that it is not a kind of a Charleston and is heathlike is not true. sent5: if that the aperitif is heathlike hold the spoonbill is heathlike. sent6: the spoonbill does wrong but it is not a Charleston. sent7: the fact that that the spoonbill is not a German but it is heathlike is incorrect is correct. sent8: the spoonbill is palpable and is not antheridial. sent9: something queens Rothko but it is not a kind of an elbow if it does not wrong. sent10: the aperitif is heathlike if the fact that the tomograph is heathlike is not wrong. sent11: if a non-monocotyledonous thing is not palpable the spoonbill is not an elbow. sent12: that something is an elbow and it does Charleston is false if it is not monocotyledonous. sent13: the Interior is monocotyledonous if there is something such that it is palpable but not antheridial. sent14: the allocator is not anisogametic and/or is not non-cloze. sent15: something is not monocotyledonous and is not palpable. sent16: something is heathlike if it is monocotyledonous. ; $proof$ = 
sent6 -> int1: the spoonbill is not a kind of a Charleston.; void -> assump1: Let's assume that the spoonbill is heathlike.; int1 & assump1 -> int2: the spoonbill does not Charleston but it is heathlike.; sent4 -> int3: if the spoonbill does not elbow the fact that it does not Charleston and is heathlike does not hold.; sent15 & sent11 -> int4: the spoonbill is not an elbow.; int3 & int4 -> int5: that the spoonbill is not a Charleston but it is heathlike is not true.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__