the triode does coffin beanfeast.
sent1: the puffer coffins beanfeast. sent2: the triode is a massicot if something that is abactinal does not rear chignon. sent3: that the triode coffins beanfeast hold if it is a massicot. sent4: the fact that something does not rear boundary and it is not ohmic is wrong if it coffins forename. sent5: there is something such that it is abactinal thing that does not rear chignon. sent6: the quiche coffins beanfeast. sent7: if something that does rear chignon is substantial the triode is sincere. sent8: the triode does not coffin beanfeast if the fact that the homeopath coffin beanfeast and/or it is not a kind of a massicot is wrong. sent9: the triode is incurable if it does rear Bluebeard.
sent5 & sent2 -> int1: the triode is a massicot.; int1 & sent3 -> hypothesis;
the triode does not coffin beanfeast.
sent4 -> int2: the fact that that the salp does not rear boundary and it is not ohmic is not incorrect does not hold if it coffins forename.;
$hypothesis$ = the triode does coffin beanfeast. ; $context$ = sent1: the puffer coffins beanfeast. sent2: the triode is a massicot if something that is abactinal does not rear chignon. sent3: that the triode coffins beanfeast hold if it is a massicot. sent4: the fact that something does not rear boundary and it is not ohmic is wrong if it coffins forename. sent5: there is something such that it is abactinal thing that does not rear chignon. sent6: the quiche coffins beanfeast. sent7: if something that does rear chignon is substantial the triode is sincere. sent8: the triode does not coffin beanfeast if the fact that the homeopath coffin beanfeast and/or it is not a kind of a massicot is wrong. sent9: the triode is incurable if it does rear Bluebeard. ; $proof$ = 
sent5 & sent2 -> int1: the triode is a massicot.; int1 & sent3 -> hypothesis; __PROVED__