that there is something such that if it is not a kind of a colobus then the fact that it is outdoor and it is not rotary does not hold is not correct.
sent1: there is something such that if that it does not flock is incorrect the fact that it is thalassic and it does not field Poterium is not right. sent2: that something is outdoor thing that is non-rotary is incorrect if the fact that it is not a colobus is not correct. sent3: if something is not a colobus the fact that it is outdoor and non-rotary is not true. sent4: that the fact that the Nazarene is outdoor and it is the rotary does not hold if the Nazarene is not a colobus is not wrong. sent5: the Nazarene is a kind of outdoor thing that is not rotary if it is not a colobus. sent6: that there is something such that if it bars accountant then the fact that the fact that it is both a carpal and not a snick is right is not true is not wrong.
sent3 -> int1: that the Nazarene is both outdoor and not rotary is false if it is not a colobus.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is not a kind of a colobus then the fact that it is outdoor and it is not rotary does not hold is not correct. ; $context$ = sent1: there is something such that if that it does not flock is incorrect the fact that it is thalassic and it does not field Poterium is not right. sent2: that something is outdoor thing that is non-rotary is incorrect if the fact that it is not a colobus is not correct. sent3: if something is not a colobus the fact that it is outdoor and non-rotary is not true. sent4: that the fact that the Nazarene is outdoor and it is the rotary does not hold if the Nazarene is not a colobus is not wrong. sent5: the Nazarene is a kind of outdoor thing that is not rotary if it is not a colobus. sent6: that there is something such that if it bars accountant then the fact that the fact that it is both a carpal and not a snick is right is not true is not wrong. ; $proof$ = 
sent3 -> int1: that the Nazarene is both outdoor and not rotary is false if it is not a colobus.; int1 -> hypothesis; __DISPROVED__