the fact that if the opportuneness occurs the straining bioflavinoid does not occur is false.
sent1: the eradication does not occur but the straining trademarked occurs. sent2: that the mechanism does not occur is triggered by that the quarter occurs. sent3: if the straining trademarked and the opportuneness occurs then the straining bioflavinoid does not occur.
sent1 -> int1: the straining trademarked occurs.; void -> assump1: Let's assume that the opportuneness happens.; int1 & assump1 -> int2: the straining trademarked occurs and the opportuneness happens.; sent3 & int2 -> int3: the fact that the straining bioflavinoid does not occur is not wrong.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that if the opportuneness occurs the straining bioflavinoid does not occur is false. ; $context$ = sent1: the eradication does not occur but the straining trademarked occurs. sent2: that the mechanism does not occur is triggered by that the quarter occurs. sent3: if the straining trademarked and the opportuneness occurs then the straining bioflavinoid does not occur. ; $proof$ = 
sent1 -> int1: the straining trademarked occurs.; void -> assump1: Let's assume that the opportuneness happens.; int1 & assump1 -> int2: the straining trademarked occurs and the opportuneness happens.; sent3 & int2 -> int3: the fact that the straining bioflavinoid does not occur is not wrong.; [assump1] & int3 -> hypothesis; __DISPROVED__