that if that the nesting Quincy happens is not wrong the colorness happens does not hold.
sent1: the operation does not occur. sent2: the testing and/or the psychogeneticness occurs if the ruminant does not occur. sent3: if the neglecting Osborne occurs then the someness happens. sent4: the fact that the operation and the nesting Quincy happens is not true. sent5: the nesting plaza happens or the causing Hutu does not occur or both if the impermeableness occurs. sent6: the sphingineness but not the neglecting chitchat occurs. sent7: if the operation occurs then the fact that that the fiber-opticness but not the popularness happens is wrong is not wrong. sent8: the colorness happens if the operation occurs but the nesting Quincy does not occur. sent9: that the grassiness occurs is not wrong if the sphingineness but not the neglecting chitchat happens. sent10: if the footlessness occurs the looseness happens. sent11: if that the operation happens but the nesting Quincy does not occur is not true the coloring happens. sent12: the colorness is prevented by that the grassiness happens and the ulcerativeness occurs.
void -> assump2: Let's assume that the operation occurs and the nesting Quincy does not occur.; assump2 -> int1: the nesting Quincy does not occur.; void -> assump1: Let's assume that the nesting Quincy occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the operation happens but the nesting Quincy does not occur is not true.; int3 & sent11 -> int4: the colorness occurs.; [assump1] & int4 -> hypothesis;
that the fiber-opticness and the unpopularness happens does not hold.
sent9 & sent6 -> int5: the grassiness occurs.;
$hypothesis$ = that if that the nesting Quincy happens is not wrong the colorness happens does not hold. ; $context$ = sent1: the operation does not occur. sent2: the testing and/or the psychogeneticness occurs if the ruminant does not occur. sent3: if the neglecting Osborne occurs then the someness happens. sent4: the fact that the operation and the nesting Quincy happens is not true. sent5: the nesting plaza happens or the causing Hutu does not occur or both if the impermeableness occurs. sent6: the sphingineness but not the neglecting chitchat occurs. sent7: if the operation occurs then the fact that that the fiber-opticness but not the popularness happens is wrong is not wrong. sent8: the colorness happens if the operation occurs but the nesting Quincy does not occur. sent9: that the grassiness occurs is not wrong if the sphingineness but not the neglecting chitchat happens. sent10: if the footlessness occurs the looseness happens. sent11: if that the operation happens but the nesting Quincy does not occur is not true the coloring happens. sent12: the colorness is prevented by that the grassiness happens and the ulcerativeness occurs. ; $proof$ = 
void -> assump2: Let's assume that the operation occurs and the nesting Quincy does not occur.; assump2 -> int1: the nesting Quincy does not occur.; void -> assump1: Let's assume that the nesting Quincy occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the operation happens but the nesting Quincy does not occur is not true.; int3 & sent11 -> int4: the colorness occurs.; [assump1] & int4 -> hypothesis; __DISPROVED__