the spoon is not bacillar and it is not long.
sent1: the spoon is not pneumonic if it is non-bacillar and non-long. sent2: the spoon is pneumonic. sent3: that the spoon is a kind of a quadriplegia that is not a kind of a classical is false. sent4: the trestlework does not spam and does not age coast. sent5: the spoon does not bow.
void -> assump1: Let's assume that the spoon is not bacillar and it is not long.; sent1 & assump1 -> int1: that the spoon is not pneumonic is true.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the spoon is not bacillar and it is not long. ; $context$ = sent1: the spoon is not pneumonic if it is non-bacillar and non-long. sent2: the spoon is pneumonic. sent3: that the spoon is a kind of a quadriplegia that is not a kind of a classical is false. sent4: the trestlework does not spam and does not age coast. sent5: the spoon does not bow. ; $proof$ = 
void -> assump1: Let's assume that the spoon is not bacillar and it is not long.; sent1 & assump1 -> int1: that the spoon is not pneumonic is true.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __DISPROVED__