that if the perusing gaffer happens the chrysotherapy does not occur is not right.
sent1: the perusing gaffer does not occur if both the chrysotherapy and the curve occurs. sent2: that the curve does not occur is prevented by that both the non-inboardness and the thermoelectricness occurs. sent3: the inboardness does not occur but the thermoelectricness occurs.
sent2 & sent3 -> int1: the curve happens.; void -> assump2: Let's assume that the chrysotherapy occurs.; int1 & assump2 -> int2: the chrysotherapy occurs and the curve occurs.; int2 & sent1 -> int3: the perusing gaffer does not occur.; void -> assump1: Let's assume that the perusing gaffer occurs.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the chrysotherapy does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that if the perusing gaffer happens the chrysotherapy does not occur is not right. ; $context$ = sent1: the perusing gaffer does not occur if both the chrysotherapy and the curve occurs. sent2: that the curve does not occur is prevented by that both the non-inboardness and the thermoelectricness occurs. sent3: the inboardness does not occur but the thermoelectricness occurs. ; $proof$ = 
sent2 & sent3 -> int1: the curve happens.; void -> assump2: Let's assume that the chrysotherapy occurs.; int1 & assump2 -> int2: the chrysotherapy occurs and the curve occurs.; int2 & sent1 -> int3: the perusing gaffer does not occur.; void -> assump1: Let's assume that the perusing gaffer occurs.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the chrysotherapy does not occur.; [assump1] & int5 -> hypothesis; __DISPROVED__