the tractor is not strong but it does carjack asymptote.
sent1: if the tractor is not strong and carjacks asymptote the boathouse is not a parameter. sent2: something is not strong if that that it does not carjack chimpanzee and it is antediluvian hold is not true. sent3: the boathouse is a parameter and is a chlorine. sent4: the tractor does carjack asymptote.
void -> assump1: Let's assume that the tractor is not strong but it does carjack asymptote.; sent1 & assump1 -> int1: the fact that the boathouse is not a kind of a parameter hold.; sent3 -> int2: the boathouse is a parameter.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the tractor is not strong but it carjacks asymptote is not false.
sent2 -> int4: that the tractor is not strong is true if that it does not carjack chimpanzee and is a antediluvian does not hold.;
$hypothesis$ = the tractor is not strong but it does carjack asymptote. ; $context$ = sent1: if the tractor is not strong and carjacks asymptote the boathouse is not a parameter. sent2: something is not strong if that that it does not carjack chimpanzee and it is antediluvian hold is not true. sent3: the boathouse is a parameter and is a chlorine. sent4: the tractor does carjack asymptote. ; $proof$ = 
void -> assump1: Let's assume that the tractor is not strong but it does carjack asymptote.; sent1 & assump1 -> int1: the fact that the boathouse is not a kind of a parameter hold.; sent3 -> int2: the boathouse is a parameter.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__