the fact that the fact that the xylene does not variegate dinnertime and does not swagger is not true is correct if the quinidine galls Reaper.
sent1: the fact that the quinidine does not gall Reaper is correct if there exists something such that it does not variegate dinnertime and does not swagger.
void -> assump1: Let's assume that the xylene does not variegate dinnertime and it does not swagger.; assump1 -> int1: there exists something such that it does not variegate dinnertime and it does not swagger.; int1 & sent1 -> int2: the quinidine does not gall Reaper.; void -> assump2: Let's assume that the quinidine does gall Reaper.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the xylene does not variegate dinnertime and does not swagger is not correct.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the fact that the fact that the xylene does not variegate dinnertime and does not swagger is not true is correct if the quinidine galls Reaper. ; $context$ = sent1: the fact that the quinidine does not gall Reaper is correct if there exists something such that it does not variegate dinnertime and does not swagger. ; $proof$ = 
void -> assump1: Let's assume that the xylene does not variegate dinnertime and it does not swagger.; assump1 -> int1: there exists something such that it does not variegate dinnertime and it does not swagger.; int1 & sent1 -> int2: the quinidine does not gall Reaper.; void -> assump2: Let's assume that the quinidine does gall Reaper.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the xylene does not variegate dinnertime and does not swagger is not correct.; [assump2] & int4 -> hypothesis; __PROVED__