that the Calliope is not underage is true.
sent1: that the baroreceptor is not an applesauce but unconscious does not hold. sent2: something does dim calyculus if that it is both not weedy and not unlike is wrong. sent3: the fact that the Calliope is non-weedy but not like is false. sent4: if the Calliope is a Nanticoke the Nichrome does not dim TLC. sent5: if something is underage then that it is not weedy and it is not unlike is incorrect. sent6: that the fact that something is not weedy but it is unlike is right does not hold if it is underage. sent7: if the Calliope does dim calyculus or is a kind of a Nanticoke or both then the Nichrome does not dim TLC. sent8: the fact that the Calliope is not weedy and is unlike is incorrect if it is underage. sent9: if the Calliope is underage the fact that it is weedy and is not unlike is wrong. sent10: the fact that the baroreceptor is an applesauce but it is not conscious is false. sent11: the purser does not trice Periophthalmus if the Nichrome does not dim TLC. sent12: if the fact that the baroreceptor is both not an applesauce and not conscious does not hold then the fact that the barmaid does not brake is correct. sent13: the purser does zinc. sent14: the purser is a kind of a zinc if the barmaid is not a brake. sent15: the purser trices Periophthalmus and does zinc if the barmaid is not a brake.
sent5 -> int1: if the Calliope is underage that it is a kind of non-weedy thing that is not unlike does not hold.; void -> assump1: Let's assume that the Calliope is underage.; int1 & assump1 -> int2: the fact that the Calliope is not weedy and is not unlike is false.; sent2 -> int3: if the fact that the Calliope is not weedy and is not unlike is not right then it does dim calyculus.; int2 & int3 -> int4: the Calliope dims calyculus.; int4 -> int5: the Calliope does dim calyculus and/or it is a Nanticoke.; int5 & sent7 -> int6: the Nichrome does not dim TLC.; int6 & sent11 -> int7: the purser does not trice Periophthalmus.; sent12 & sent1 -> int8: the barmaid is not a brake.; sent15 & int8 -> int9: the purser does trice Periophthalmus and it is a kind of a zinc.; int9 -> int10: the purser does trice Periophthalmus.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
$hypothesis$ = that the Calliope is not underage is true. ; $context$ = sent1: that the baroreceptor is not an applesauce but unconscious does not hold. sent2: something does dim calyculus if that it is both not weedy and not unlike is wrong. sent3: the fact that the Calliope is non-weedy but not like is false. sent4: if the Calliope is a Nanticoke the Nichrome does not dim TLC. sent5: if something is underage then that it is not weedy and it is not unlike is incorrect. sent6: that the fact that something is not weedy but it is unlike is right does not hold if it is underage. sent7: if the Calliope does dim calyculus or is a kind of a Nanticoke or both then the Nichrome does not dim TLC. sent8: the fact that the Calliope is not weedy and is unlike is incorrect if it is underage. sent9: if the Calliope is underage the fact that it is weedy and is not unlike is wrong. sent10: the fact that the baroreceptor is an applesauce but it is not conscious is false. sent11: the purser does not trice Periophthalmus if the Nichrome does not dim TLC. sent12: if the fact that the baroreceptor is both not an applesauce and not conscious does not hold then the fact that the barmaid does not brake is correct. sent13: the purser does zinc. sent14: the purser is a kind of a zinc if the barmaid is not a brake. sent15: the purser trices Periophthalmus and does zinc if the barmaid is not a brake. ; $proof$ = 
sent5 -> int1: if the Calliope is underage that it is a kind of non-weedy thing that is not unlike does not hold.; void -> assump1: Let's assume that the Calliope is underage.; int1 & assump1 -> int2: the fact that the Calliope is not weedy and is not unlike is false.; sent2 -> int3: if the fact that the Calliope is not weedy and is not unlike is not right then it does dim calyculus.; int2 & int3 -> int4: the Calliope dims calyculus.; int4 -> int5: the Calliope does dim calyculus and/or it is a Nanticoke.; int5 & sent7 -> int6: the Nichrome does not dim TLC.; int6 & sent11 -> int7: the purser does not trice Periophthalmus.; sent12 & sent1 -> int8: the barmaid is not a brake.; sent15 & int8 -> int9: the purser does trice Periophthalmus and it is a kind of a zinc.; int9 -> int10: the purser does trice Periophthalmus.; int7 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __PROVED__