that the besom does not guy is not correct.
sent1: the terpene is open-hearth and it masters canyon. sent2: the canyon demotes pilaster. sent3: the besom is credible if the terpene does master canyon. sent4: the besom is not unintelligent. sent5: if something is not a tabbouleh it is a guy. sent6: a non-unintelligent thing is not a kind of a pylon and is a streptobacillus. sent7: if the besom is a tabbouleh and it is credible the Oxford is not a kind of a streptobacillus. sent8: the Oxford is not unintelligent but it demotes pilaster.
sent1 -> int1: the terpene masters canyon.; int1 & sent3 -> int2: the besom is credible.; void -> assump1: Let's assume that the besom is a kind of a tabbouleh.; int2 & assump1 -> int3: the fact that the besom is both a tabbouleh and credible is not false.; int3 & sent7 -> int4: the Oxford is not a streptobacillus.; sent6 -> int5: the Oxford is not a pylon but it is a streptobacillus if it is not unintelligent.; sent8 -> int6: the fact that the Oxford is not unintelligent is correct.; int5 & int6 -> int7: the Oxford is not a kind of a pylon and is a streptobacillus.; int7 -> int8: the Oxford is a streptobacillus.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the besom is not a kind of a tabbouleh.; sent5 -> int11: if the besom is not a tabbouleh it is a kind of a guy.; int10 & int11 -> hypothesis;
$hypothesis$ = that the besom does not guy is not correct. ; $context$ = sent1: the terpene is open-hearth and it masters canyon. sent2: the canyon demotes pilaster. sent3: the besom is credible if the terpene does master canyon. sent4: the besom is not unintelligent. sent5: if something is not a tabbouleh it is a guy. sent6: a non-unintelligent thing is not a kind of a pylon and is a streptobacillus. sent7: if the besom is a tabbouleh and it is credible the Oxford is not a kind of a streptobacillus. sent8: the Oxford is not unintelligent but it demotes pilaster. ; $proof$ = 
sent1 -> int1: the terpene masters canyon.; int1 & sent3 -> int2: the besom is credible.; void -> assump1: Let's assume that the besom is a kind of a tabbouleh.; int2 & assump1 -> int3: the fact that the besom is both a tabbouleh and credible is not false.; int3 & sent7 -> int4: the Oxford is not a streptobacillus.; sent6 -> int5: the Oxford is not a pylon but it is a streptobacillus if it is not unintelligent.; sent8 -> int6: the fact that the Oxford is not unintelligent is correct.; int5 & int6 -> int7: the Oxford is not a kind of a pylon and is a streptobacillus.; int7 -> int8: the Oxford is a streptobacillus.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the besom is not a kind of a tabbouleh.; sent5 -> int11: if the besom is not a tabbouleh it is a kind of a guy.; int10 & int11 -> hypothesis; __PROVED__