the headlight does putter.
sent1: that something is a Sumerian but it is not a kind of an operation is false if it skims barrage. sent2: The antimeson unbars cowhide. sent3: if there exists something such that that it skims barrage and does not unbar antimeson does not hold the struggler is not a oxytone. sent4: the headlight is not a putter if that the shopper is not a kind of a oxytone and does not home is not correct. sent5: the cowhide unbars antimeson. sent6: the struggler is not a home if something is not a kind of a oxytone. sent7: the fact that the shopper is not a oxytone and not a home is false if the struggler is not a oxytone.
void -> assump1: Let's assume that the cowhide skims barrage and does not unbar antimeson.; assump1 -> int1: the cowhide does not unbar antimeson.; sent5 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cowhide skims barrage but it does not unbar antimeson is incorrect.; int3 -> int4: there exists something such that the fact that it skims barrage and it does not unbar antimeson is incorrect.; int4 & sent3 -> int5: the struggler is not a kind of a oxytone.; sent7 & int5 -> int6: the fact that the shopper is both not a oxytone and not home does not hold.; sent4 & int6 -> hypothesis;
there exists something such that that it is Sumerian thing that is not an operation is incorrect.
sent1 -> int7: that if the cowhide skims barrage then the fact that the cowhide is Sumerian thing that is not a kind of an operation is wrong hold.;
$hypothesis$ = the headlight does putter. ; $context$ = sent1: that something is a Sumerian but it is not a kind of an operation is false if it skims barrage. sent2: The antimeson unbars cowhide. sent3: if there exists something such that that it skims barrage and does not unbar antimeson does not hold the struggler is not a oxytone. sent4: the headlight is not a putter if that the shopper is not a kind of a oxytone and does not home is not correct. sent5: the cowhide unbars antimeson. sent6: the struggler is not a home if something is not a kind of a oxytone. sent7: the fact that the shopper is not a oxytone and not a home is false if the struggler is not a oxytone. ; $proof$ = 
void -> assump1: Let's assume that the cowhide skims barrage and does not unbar antimeson.; assump1 -> int1: the cowhide does not unbar antimeson.; sent5 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cowhide skims barrage but it does not unbar antimeson is incorrect.; int3 -> int4: there exists something such that the fact that it skims barrage and it does not unbar antimeson is incorrect.; int4 & sent3 -> int5: the struggler is not a kind of a oxytone.; sent7 & int5 -> int6: the fact that the shopper is both not a oxytone and not home does not hold.; sent4 & int6 -> hypothesis; __DISPROVED__