the fact that the ship-breaker is a Wisconsinite if the flow is testamentary is wrong.
sent1: the fact that the flow is a trivet is not false if the fact that it is a Wisconsinite is not false. sent2: if the flow is a trivet then the ship-breaker is not a kind of a tempera. sent3: if the flow is a kind of a trivet then the ship-breaker revenges but it is not a tempera. sent4: the ship-breaker is both testamentary and not a trivet if the flow is a Wisconsinite. sent5: if the ship-breaker revenges and is not a Wisconsinite then it is a trivet. sent6: if something does revenge and is not a kind of a tempera then it is a Wisconsinite. sent7: a testamentary thing is a kind of a trivet. sent8: if something revenges and is a kind of a tempera then it is a Wisconsinite. sent9: the ship-breaker is not a tempera.
sent7 -> int1: if the flow is testamentary it is a trivet.; void -> assump1: Let's assume that the flow is testamentary.; int1 & assump1 -> int2: the flow is a trivet.; int2 & sent3 -> int3: the ship-breaker revenges but it is not a kind of a tempera.; sent6 -> int4: the ship-breaker is a kind of a Wisconsinite if it revenges and it is not a tempera.; int3 & int4 -> int5: the fact that the ship-breaker is a Wisconsinite is not incorrect.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the ship-breaker is a Wisconsinite if the flow is testamentary is wrong. ; $context$ = sent1: the fact that the flow is a trivet is not false if the fact that it is a Wisconsinite is not false. sent2: if the flow is a trivet then the ship-breaker is not a kind of a tempera. sent3: if the flow is a kind of a trivet then the ship-breaker revenges but it is not a tempera. sent4: the ship-breaker is both testamentary and not a trivet if the flow is a Wisconsinite. sent5: if the ship-breaker revenges and is not a Wisconsinite then it is a trivet. sent6: if something does revenge and is not a kind of a tempera then it is a Wisconsinite. sent7: a testamentary thing is a kind of a trivet. sent8: if something revenges and is a kind of a tempera then it is a Wisconsinite. sent9: the ship-breaker is not a tempera. ; $proof$ = 
sent7 -> int1: if the flow is testamentary it is a trivet.; void -> assump1: Let's assume that the flow is testamentary.; int1 & assump1 -> int2: the flow is a trivet.; int2 & sent3 -> int3: the ship-breaker revenges but it is not a kind of a tempera.; sent6 -> int4: the ship-breaker is a kind of a Wisconsinite if it revenges and it is not a tempera.; int3 & int4 -> int5: the fact that the ship-breaker is a Wisconsinite is not incorrect.; [assump1] & int5 -> hypothesis; __DISPROVED__