the pinon is adenoid.
sent1: if something is a crackle it does not chasten. sent2: something does not chasten. sent3: if something that does not chasten leafs the pinon is an adenoid. sent4: there is something such that the fact that it does skim is not incorrect. sent5: that the ganoin is a crackle that is a chewink is incorrect. sent6: the fact that the fritter either does not skim or does chasten or both does not hold if it is not a crackle. sent7: the ganoin is not a kind of a skim. sent8: something is not an adenoid if that it is not a leaf and is an adenoid is not true. sent9: there is nothing such that it does not crackle and is a kind of a chewink. sent10: the ganoin does not chasten if it does crackle. sent11: if that something skims is not wrong then the fact that the ganoin does not leaf and is not a kind of a skims does not hold. sent12: there exists nothing such that it is a crackle and it is a chewink. sent13: if the fact that something does not crackle but it is a chewink does not hold then it does not chasten. sent14: if the fact that the fact that something is a kind of adenoid thing that is not a kind of a skim is correct is false it is not a kind of an adenoid. sent15: there exists nothing such that it is not a birdie and does swap Lazarus.
void -> assump1: Let's assume that the ganoin is not a leaf.; assump1 & sent7 -> int1: the ganoin is not a leaf and it is not a skim.; sent4 & sent11 -> int2: the fact that the ganoin is not a kind of a leaf and it is not a kind of a skim is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ganoin does leaf.; sent13 -> int5: if that the ganoin is not a crackle but it is a kind of a chewink does not hold the fact that it does not chasten is not false.; sent9 -> int6: the fact that the ganoin is both not a crackle and a chewink is not true.; int5 & int6 -> int7: the ganoin does not chasten.; int4 & int7 -> int8: the ganoin does not chasten and does leaf.; int8 -> int9: there exists something such that it does not chasten and it is a leaf.; int9 & sent3 -> hypothesis;
the pinon is not a kind of an adenoid.
sent8 -> int10: if the fact that the pinon is not a leaf but it is an adenoid is wrong then it is not an adenoid.;
$hypothesis$ = the pinon is adenoid. ; $context$ = sent1: if something is a crackle it does not chasten. sent2: something does not chasten. sent3: if something that does not chasten leafs the pinon is an adenoid. sent4: there is something such that the fact that it does skim is not incorrect. sent5: that the ganoin is a crackle that is a chewink is incorrect. sent6: the fact that the fritter either does not skim or does chasten or both does not hold if it is not a crackle. sent7: the ganoin is not a kind of a skim. sent8: something is not an adenoid if that it is not a leaf and is an adenoid is not true. sent9: there is nothing such that it does not crackle and is a kind of a chewink. sent10: the ganoin does not chasten if it does crackle. sent11: if that something skims is not wrong then the fact that the ganoin does not leaf and is not a kind of a skims does not hold. sent12: there exists nothing such that it is a crackle and it is a chewink. sent13: if the fact that something does not crackle but it is a chewink does not hold then it does not chasten. sent14: if the fact that the fact that something is a kind of adenoid thing that is not a kind of a skim is correct is false it is not a kind of an adenoid. sent15: there exists nothing such that it is not a birdie and does swap Lazarus. ; $proof$ = 
void -> assump1: Let's assume that the ganoin is not a leaf.; assump1 & sent7 -> int1: the ganoin is not a leaf and it is not a skim.; sent4 & sent11 -> int2: the fact that the ganoin is not a kind of a leaf and it is not a kind of a skim is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the ganoin does leaf.; sent13 -> int5: if that the ganoin is not a crackle but it is a kind of a chewink does not hold the fact that it does not chasten is not false.; sent9 -> int6: the fact that the ganoin is both not a crackle and a chewink is not true.; int5 & int6 -> int7: the ganoin does not chasten.; int4 & int7 -> int8: the ganoin does not chasten and does leaf.; int8 -> int9: there exists something such that it does not chasten and it is a leaf.; int9 & sent3 -> hypothesis; __PROVED__