the fact that if that the redcoat does not whomp is not false that the putter does not swap Patroclus and it does not swap hopscotch does not hold is wrong.
sent1: something is not catatonic and it does not whomp if it swaps hopscotch. sent2: something does pity ticket if it is a kind of a Calvary. sent3: if something does not whomp then the fact that it is impassable and fights does not hold. sent4: if the fact that the redcoat is impassable and is a fight is wrong then the putter is not catatonic. sent5: something does swap Patroclus if it does pity ticket. sent6: something swaps hopscotch if it swaps Patroclus. sent7: something bars. sent8: that something does not swap Patroclus and it does not swap hopscotch does not hold if it is non-catatonic. sent9: if there exists something such that it bars the moonshell is a yarmulke and it is a Calvary. sent10: if the redcoat does not whomp then that the putter does swap Patroclus and does not swap hopscotch is not correct.
sent3 -> int1: if the redcoat does not whomp the fact that it is impassable and it is a fight does not hold.; void -> assump1: Let's assume that the fact that the redcoat does not whomp is not incorrect.; int1 & assump1 -> int2: that the redcoat is impassable and it fights is false.; int2 & sent4 -> int3: the putter is not catatonic.; sent8 -> int4: if the putter is not catatonic then the fact that it does not swap Patroclus and it does not swap hopscotch is wrong.; int3 & int4 -> int5: the fact that the putter does not swap Patroclus and it does not swap hopscotch is false.; [assump1] & int5 -> hypothesis;
the moonshell is not catatonic.
sent1 -> int6: the moonshell is a kind of non-catatonic thing that does not whomp if it does swap hopscotch.; sent6 -> int7: if that the moonshell swaps Patroclus is not false then it swaps hopscotch.; sent5 -> int8: if the moonshell does pity ticket then it does swap Patroclus.; sent2 -> int9: the moonshell does pity ticket if it is a Calvary.; sent7 & sent9 -> int10: the moonshell is a yarmulke and it is a Calvary.; int10 -> int11: the moonshell is a Calvary.; int9 & int11 -> int12: the moonshell pities ticket.; int8 & int12 -> int13: the moonshell does swap Patroclus.; int7 & int13 -> int14: the moonshell does swap hopscotch.; int6 & int14 -> int15: the moonshell is not catatonic and it does not whomp.; int15 -> hypothesis;
$hypothesis$ = the fact that if that the redcoat does not whomp is not false that the putter does not swap Patroclus and it does not swap hopscotch does not hold is wrong. ; $context$ = sent1: something is not catatonic and it does not whomp if it swaps hopscotch. sent2: something does pity ticket if it is a kind of a Calvary. sent3: if something does not whomp then the fact that it is impassable and fights does not hold. sent4: if the fact that the redcoat is impassable and is a fight is wrong then the putter is not catatonic. sent5: something does swap Patroclus if it does pity ticket. sent6: something swaps hopscotch if it swaps Patroclus. sent7: something bars. sent8: that something does not swap Patroclus and it does not swap hopscotch does not hold if it is non-catatonic. sent9: if there exists something such that it bars the moonshell is a yarmulke and it is a Calvary. sent10: if the redcoat does not whomp then that the putter does swap Patroclus and does not swap hopscotch is not correct. ; $proof$ = 
sent3 -> int1: if the redcoat does not whomp the fact that it is impassable and it is a fight does not hold.; void -> assump1: Let's assume that the fact that the redcoat does not whomp is not incorrect.; int1 & assump1 -> int2: that the redcoat is impassable and it fights is false.; int2 & sent4 -> int3: the putter is not catatonic.; sent8 -> int4: if the putter is not catatonic then the fact that it does not swap Patroclus and it does not swap hopscotch is wrong.; int3 & int4 -> int5: the fact that the putter does not swap Patroclus and it does not swap hopscotch is false.; [assump1] & int5 -> hypothesis; __DISPROVED__