if the depositor is uncomfortable either the spat does index gumdrop or it is not a sudoku or both.
sent1: the depositor is not uncomfortable if the fact that the faille is not virile but it is chylific is not correct. sent2: if something does color X that it is not virile but chylific is not right. sent3: if that the faille is both not virile and chylific is wrong then the depositor is uncomfortable.
void -> assump2: Let's assume that the fact that the spat does index gumdrop and/or it is not a sudoku is false.; assump2 -> int1: there is something such that that it indexes gumdrop and/or is not a sudoku is not true.; sent2 -> int2: the fact that the faille is not virile and is chylific is incorrect if it colors X.;
$hypothesis$ = if the depositor is uncomfortable either the spat does index gumdrop or it is not a sudoku or both. ; $context$ = sent1: the depositor is not uncomfortable if the fact that the faille is not virile but it is chylific is not correct. sent2: if something does color X that it is not virile but chylific is not right. sent3: if that the faille is both not virile and chylific is wrong then the depositor is uncomfortable. ; $proof$ = 
void -> assump2: Let's assume that the fact that the spat does index gumdrop and/or it is not a sudoku is false.; assump2 -> int1: there is something such that that it indexes gumdrop and/or is not a sudoku is not true.; sent2 -> int2: the fact that the faille is not virile and is chylific is incorrect if it colors X.; __UNKNOWN__