that there is something such that that it is not scentless and/or it is unselfish is false is not true.
sent1: the Washingtonian is not unselfish. sent2: something is not scentless and/or it is unselfish. sent3: there exists something such that it is scentless. sent4: there is something such that it is not proteolytic. sent5: something that is not a gametoecium is both a chrysolite and proteolytic. sent6: something is not a kind of a Wyler if the fact that it is not abomasal and it is a Wyler is false. sent7: the noisemaker is not unselfish. sent8: something that is either not scentless or unselfish or both is not a chrysolite. sent9: if something is unselfish then it is not a chrysolite. sent10: if that the Washingtonian is not a kind of a chrysolite is true the noisemaker is abomasal. sent11: the Washingtonian is not a chrysolite if it is unselfish. sent12: that if the bluepoint is a chrysolite the fact that the noisemaker is not abomasal but it is a kind of a Wyler is not correct is right. sent13: if either something is not scentless or it is abomasal or both it is not unselfish. sent14: the treat is not Singhalese. sent15: if there exists something such that it is not proteolytic the noisemaker is not abomasal.
sent8 -> int1: if the Washingtonian is not scentless and/or it is unselfish the fact that it is not a chrysolite hold.; void -> assump1: Let's assume that the Washingtonian is not scentless and/or is unselfish.; int1 & assump1 -> int2: that the Washingtonian is not a kind of a chrysolite is right.; int2 & sent10 -> int3: the noisemaker is abomasal.; sent4 & sent15 -> int4: the noisemaker is not abomasal.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that either the Washingtonian is not scentless or it is unselfish or both is wrong.; int6 -> hypothesis;
there exists something such that it is not a Wyler.
sent6 -> int7: that if the fact that the noisemaker is not abomasal but it is the Wyler is wrong then the noisemaker is not a Wyler hold.; sent5 -> int8: if the bluepoint is not a kind of a gametoecium it is a chrysolite and it is proteolytic.; sent14 -> int9: something is not Singhalese.;
$hypothesis$ = that there is something such that that it is not scentless and/or it is unselfish is false is not true. ; $context$ = sent1: the Washingtonian is not unselfish. sent2: something is not scentless and/or it is unselfish. sent3: there exists something such that it is scentless. sent4: there is something such that it is not proteolytic. sent5: something that is not a gametoecium is both a chrysolite and proteolytic. sent6: something is not a kind of a Wyler if the fact that it is not abomasal and it is a Wyler is false. sent7: the noisemaker is not unselfish. sent8: something that is either not scentless or unselfish or both is not a chrysolite. sent9: if something is unselfish then it is not a chrysolite. sent10: if that the Washingtonian is not a kind of a chrysolite is true the noisemaker is abomasal. sent11: the Washingtonian is not a chrysolite if it is unselfish. sent12: that if the bluepoint is a chrysolite the fact that the noisemaker is not abomasal but it is a kind of a Wyler is not correct is right. sent13: if either something is not scentless or it is abomasal or both it is not unselfish. sent14: the treat is not Singhalese. sent15: if there exists something such that it is not proteolytic the noisemaker is not abomasal. ; $proof$ = 
sent8 -> int1: if the Washingtonian is not scentless and/or it is unselfish the fact that it is not a chrysolite hold.; void -> assump1: Let's assume that the Washingtonian is not scentless and/or is unselfish.; int1 & assump1 -> int2: that the Washingtonian is not a kind of a chrysolite is right.; int2 & sent10 -> int3: the noisemaker is abomasal.; sent4 & sent15 -> int4: the noisemaker is not abomasal.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that either the Washingtonian is not scentless or it is unselfish or both is wrong.; int6 -> hypothesis; __DISPROVED__