that the loser is unexpansive if that the whiffletree reverts hold is incorrect.
sent1: something is a sadism if it reverts. sent2: the whiffletree does spruce. sent3: the loser is not a sadism but unexpansive if the whiffletree is a sadism. sent4: if the whiffletree is a sadism then the loser is not a sadism. sent5: the Currier is a sadism.
sent1 -> int1: the whiffletree is a sadism if it does revert.; void -> assump1: Let's assume that the whiffletree does revert.; int1 & assump1 -> int2: that the whiffletree is not a kind of a sadism is not right.; sent3 & int2 -> int3: the loser is not a sadism but it is not expansive.; int3 -> int4: the loser is unexpansive.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the loser is unexpansive if that the whiffletree reverts hold is incorrect. ; $context$ = sent1: something is a sadism if it reverts. sent2: the whiffletree does spruce. sent3: the loser is not a sadism but unexpansive if the whiffletree is a sadism. sent4: if the whiffletree is a sadism then the loser is not a sadism. sent5: the Currier is a sadism. ; $proof$ = 
sent1 -> int1: the whiffletree is a sadism if it does revert.; void -> assump1: Let's assume that the whiffletree does revert.; int1 & assump1 -> int2: that the whiffletree is not a kind of a sadism is not right.; sent3 & int2 -> int3: the loser is not a sadism but it is not expansive.; int3 -> int4: the loser is unexpansive.; [assump1] & int4 -> hypothesis; __DISPROVED__