the invertase does not casket tappet.
sent1: the invertase does casket tappet if it is a punter. sent2: the invertase is neuromuscular if the ectoplasm is not a kind of a confectionery. sent3: if something is a confectionery the cayenne is not a gross. sent4: the cayenne is not sciatic but it is a gross. sent5: something that is neuromuscular is a punter.
void -> assump1: Let's assume that the ectoplasm is a kind of a confectionery.; assump1 -> int1: there exists something such that it is a confectionery.; int1 & sent3 -> int2: the cayenne is not a gross.; sent4 -> int3: the cayenne grosses.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the ectoplasm is not a kind of a confectionery.; int5 & sent2 -> int6: the invertase is neuromuscular.; sent5 -> int7: the invertase is a punter if it is neuromuscular.; int6 & int7 -> int8: the invertase is a punter.; int8 & sent1 -> hypothesis;
$hypothesis$ = the invertase does not casket tappet. ; $context$ = sent1: the invertase does casket tappet if it is a punter. sent2: the invertase is neuromuscular if the ectoplasm is not a kind of a confectionery. sent3: if something is a confectionery the cayenne is not a gross. sent4: the cayenne is not sciatic but it is a gross. sent5: something that is neuromuscular is a punter. ; $proof$ = 
void -> assump1: Let's assume that the ectoplasm is a kind of a confectionery.; assump1 -> int1: there exists something such that it is a confectionery.; int1 & sent3 -> int2: the cayenne is not a gross.; sent4 -> int3: the cayenne grosses.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the ectoplasm is not a kind of a confectionery.; int5 & sent2 -> int6: the invertase is neuromuscular.; sent5 -> int7: the invertase is a punter if it is neuromuscular.; int6 & int7 -> int8: the invertase is a punter.; int8 & sent1 -> hypothesis; __DISPROVED__