there is something such that if that it is asynergic hold then it does not defuse brass and/or it does not recast aircraftsman.
sent1: if something does recast tetrachloride it is not asynergic and/or it is not a cockloft. sent2: if the propenoate does not recast tetrachloride and does not recast Sciuridae the fluxmeter does recast tetrachloride. sent3: if that something does not defuse brass or it does not recast aircraftsman or both is not correct the fact that it is not asynergic is not false. sent4: the genre is a hammertoe. sent5: something is philanthropic if it is logistic.
sent3 -> int1: if that the genre does not defuse brass or does not recast aircraftsman or both is not right it is not asynergic.; void -> assump1: Let's assume that the fact that the genre does not defuse brass or does not recast aircraftsman or both is incorrect.; int1 & assump1 -> int2: the genre is not asynergic.; void -> assump2: Let's assume that the genre is asynergic.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the genre does not defuse brass or it does not recast aircraftsman or both.; [assump2] & int4 -> int5: the fact that either the genre does not defuse brass or it does not recast aircraftsman or both hold if it is asynergic.; int5 -> hypothesis;
the fluxmeter is not asynergic and/or it is not a cockloft.
sent1 -> int6: if the fluxmeter does recast tetrachloride then it is not asynergic and/or it is not a cockloft.; sent5 -> int7: the bit is philanthropic if it is logistic.;
$hypothesis$ = there is something such that if that it is asynergic hold then it does not defuse brass and/or it does not recast aircraftsman. ; $context$ = sent1: if something does recast tetrachloride it is not asynergic and/or it is not a cockloft. sent2: if the propenoate does not recast tetrachloride and does not recast Sciuridae the fluxmeter does recast tetrachloride. sent3: if that something does not defuse brass or it does not recast aircraftsman or both is not correct the fact that it is not asynergic is not false. sent4: the genre is a hammertoe. sent5: something is philanthropic if it is logistic. ; $proof$ = 
sent3 -> int1: if that the genre does not defuse brass or does not recast aircraftsman or both is not right it is not asynergic.; void -> assump1: Let's assume that the fact that the genre does not defuse brass or does not recast aircraftsman or both is incorrect.; int1 & assump1 -> int2: the genre is not asynergic.; void -> assump2: Let's assume that the genre is asynergic.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the genre does not defuse brass or it does not recast aircraftsman or both.; [assump2] & int4 -> int5: the fact that either the genre does not defuse brass or it does not recast aircraftsman or both hold if it is asynergic.; int5 -> hypothesis; __PROVED__