the tunic deafens Moliere if the tentacle is a kind of a busman.
sent1: The fieldwork does read tentacle. sent2: something does not spew if it does not button. sent3: the tentacle does read fieldwork. sent4: if the jawan does not spew the tunic is inappropriate and it does spew. sent5: something does deafen Moliere if it does spew. sent6: if the tentacle is a busman and it does read fieldwork the jawan is not a button.
void -> assump1: Let's assume that the tentacle is a busman.; assump1 & sent3 -> int1: the tentacle is a kind of a busman and it reads fieldwork.; int1 & sent6 -> int2: the jawan is not a button.; sent2 -> int3: if the jawan does not button it does not spew.; int2 & int3 -> int4: that the jawan does not spew hold.; int4 & sent4 -> int5: the tunic is inappropriate and it does spew.; int5 -> int6: the tunic spews.; sent5 -> int7: the fact that the tunic deafens Moliere is not false if that it does spew is not incorrect.; int6 & int7 -> int8: the tunic deafens Moliere.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the tunic deafens Moliere if the tentacle is a kind of a busman. ; $context$ = sent1: The fieldwork does read tentacle. sent2: something does not spew if it does not button. sent3: the tentacle does read fieldwork. sent4: if the jawan does not spew the tunic is inappropriate and it does spew. sent5: something does deafen Moliere if it does spew. sent6: if the tentacle is a busman and it does read fieldwork the jawan is not a button. ; $proof$ = 
void -> assump1: Let's assume that the tentacle is a busman.; assump1 & sent3 -> int1: the tentacle is a kind of a busman and it reads fieldwork.; int1 & sent6 -> int2: the jawan is not a button.; sent2 -> int3: if the jawan does not button it does not spew.; int2 & int3 -> int4: that the jawan does not spew hold.; int4 & sent4 -> int5: the tunic is inappropriate and it does spew.; int5 -> int6: the tunic spews.; sent5 -> int7: the fact that the tunic deafens Moliere is not false if that it does spew is not incorrect.; int6 & int7 -> int8: the tunic deafens Moliere.; [assump1] & int8 -> hypothesis; __PROVED__