the cottonwick is a redcoat.
sent1: the cottonwick is not a redcoat if that the fact that the tarsal either is not elemental or does not nurse tester or both is not true is not false. sent2: the tarsal is not a kind of a rabbinate if it is not elemental or does not nurse tester or both. sent3: the tarsal is a redcoat. sent4: if the fact that the fact that something is a Wynette that is atrial is not false does not hold it does not nurse Basseterre. sent5: if the tarsal is a redcoat and is not insecure the papovavirus is not a redcoat. sent6: if there is something such that that it is insecure or it does nurse Basseterre or both is false the hogshead is not a kind of a Wynette. sent7: the fact that the hogshead is a kind of a Wynette is not incorrect. sent8: if the tarsal is not a rabbinate that the fact that either the blueprint is insecure or it nurses Basseterre or both is wrong is right.
void -> assump1: Let's assume that the tarsal is not elemental or it does not nurse tester or both.; sent2 & assump1 -> int1: the tarsal is not a rabbinate.; int1 & sent8 -> int2: the fact that the blueprint is insecure or it does nurse Basseterre or both is not true.; int2 -> int3: there is something such that that it is insecure and/or it nurses Basseterre is not correct.; int3 & sent6 -> int4: the hogshead is not a Wynette.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: that either the tarsal is not elemental or it does not nurse tester or both is not true.; int6 & sent1 -> hypothesis;
the papovavirus is not a redcoat.
sent4 -> int7: if that the blueprint is a Wynette and it is atrial is wrong it does not nurse Basseterre.;
$hypothesis$ = the cottonwick is a redcoat. ; $context$ = sent1: the cottonwick is not a redcoat if that the fact that the tarsal either is not elemental or does not nurse tester or both is not true is not false. sent2: the tarsal is not a kind of a rabbinate if it is not elemental or does not nurse tester or both. sent3: the tarsal is a redcoat. sent4: if the fact that the fact that something is a Wynette that is atrial is not false does not hold it does not nurse Basseterre. sent5: if the tarsal is a redcoat and is not insecure the papovavirus is not a redcoat. sent6: if there is something such that that it is insecure or it does nurse Basseterre or both is false the hogshead is not a kind of a Wynette. sent7: the fact that the hogshead is a kind of a Wynette is not incorrect. sent8: if the tarsal is not a rabbinate that the fact that either the blueprint is insecure or it nurses Basseterre or both is wrong is right. ; $proof$ = 
void -> assump1: Let's assume that the tarsal is not elemental or it does not nurse tester or both.; sent2 & assump1 -> int1: the tarsal is not a rabbinate.; int1 & sent8 -> int2: the fact that the blueprint is insecure or it does nurse Basseterre or both is not true.; int2 -> int3: there is something such that that it is insecure and/or it nurses Basseterre is not correct.; int3 & sent6 -> int4: the hogshead is not a Wynette.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: that either the tarsal is not elemental or it does not nurse tester or both is not true.; int6 & sent1 -> hypothesis; __DISPROVED__