the fact that the sapodilla is a kind of a Teller that is not a plumpness is not false.
sent1: if the amazon is not a kind of a catboat and it is not amygdaline then the Hogan is not pneumococcal. sent2: if something is not a kind of a dairymaid it is not a catboat and it is not amygdaline. sent3: the amazon is not amygdaline. sent4: if something does not frolic recital then it is not propagative. sent5: the basketweaver does not realign amazon and is propagative. sent6: the amazon is not pneumococcal. sent7: something is not a plumpness. sent8: if something is not pneumococcal it does not frolic recital. sent9: the Elamite is not a special. sent10: the Hogan is non-propagative. sent11: if the Hogan is both a dairymaid and not amygdaline the phoronid is not amygdaline. sent12: the sapodilla is not a plumpness if there is something such that the fact that it is not a special and it is a kind of a nondisjunction hold. sent13: the fact that the sapodilla is a Teller is not wrong if the amazon is a dairymaid. sent14: the fact that something is not amygdaline hold if it is not a dairymaid. sent15: something is a kind of a special and is a nondisjunction. sent16: there exists something such that that it is a kind of a nondisjunction hold. sent17: the Hogan is not propagative and does frolic recital. sent18: if the amazon is not a dairymaid it is not amygdaline. sent19: if the amazon is not a catboat but it is amygdaline then the Hogan is not pneumococcal. sent20: the Elamite is not a special and is a kind of a nondisjunction. sent21: that something is a Teller and is not a kind of a plumpness is incorrect if it is not a dairymaid.
sent2 -> int1: if the amazon is not a dairymaid then it is not a catboat and it is not amygdaline.; void -> assump1: Let's assume that the amazon is not a dairymaid.; int1 & assump1 -> int2: the amazon is not a catboat and it is not amygdaline.; int2 & sent1 -> int3: the Hogan is not pneumococcal.; sent8 -> int4: the Hogan does not frolic recital if it is not pneumococcal.; int3 & int4 -> int5: the Hogan does not frolic recital.; sent17 -> int6: the Hogan frolics recital.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the amazon is a dairymaid.; int8 & sent13 -> int9: the sapodilla is a Teller.; sent20 -> int10: there exists something such that it is not a special and it is a kind of a nondisjunction.; int10 & sent12 -> int11: the sapodilla is not a kind of a plumpness.; int9 & int11 -> hypothesis;
the phoronid is not amygdaline.
$hypothesis$ = the fact that the sapodilla is a kind of a Teller that is not a plumpness is not false. ; $context$ = sent1: if the amazon is not a kind of a catboat and it is not amygdaline then the Hogan is not pneumococcal. sent2: if something is not a kind of a dairymaid it is not a catboat and it is not amygdaline. sent3: the amazon is not amygdaline. sent4: if something does not frolic recital then it is not propagative. sent5: the basketweaver does not realign amazon and is propagative. sent6: the amazon is not pneumococcal. sent7: something is not a plumpness. sent8: if something is not pneumococcal it does not frolic recital. sent9: the Elamite is not a special. sent10: the Hogan is non-propagative. sent11: if the Hogan is both a dairymaid and not amygdaline the phoronid is not amygdaline. sent12: the sapodilla is not a plumpness if there is something such that the fact that it is not a special and it is a kind of a nondisjunction hold. sent13: the fact that the sapodilla is a Teller is not wrong if the amazon is a dairymaid. sent14: the fact that something is not amygdaline hold if it is not a dairymaid. sent15: something is a kind of a special and is a nondisjunction. sent16: there exists something such that that it is a kind of a nondisjunction hold. sent17: the Hogan is not propagative and does frolic recital. sent18: if the amazon is not a dairymaid it is not amygdaline. sent19: if the amazon is not a catboat but it is amygdaline then the Hogan is not pneumococcal. sent20: the Elamite is not a special and is a kind of a nondisjunction. sent21: that something is a Teller and is not a kind of a plumpness is incorrect if it is not a dairymaid. ; $proof$ = 
sent2 -> int1: if the amazon is not a dairymaid then it is not a catboat and it is not amygdaline.; void -> assump1: Let's assume that the amazon is not a dairymaid.; int1 & assump1 -> int2: the amazon is not a catboat and it is not amygdaline.; int2 & sent1 -> int3: the Hogan is not pneumococcal.; sent8 -> int4: the Hogan does not frolic recital if it is not pneumococcal.; int3 & int4 -> int5: the Hogan does not frolic recital.; sent17 -> int6: the Hogan frolics recital.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the amazon is a dairymaid.; int8 & sent13 -> int9: the sapodilla is a Teller.; sent20 -> int10: there exists something such that it is not a special and it is a kind of a nondisjunction.; int10 & sent12 -> int11: the sapodilla is not a kind of a plumpness.; int9 & int11 -> hypothesis; __PROVED__