the pub circularizes.
sent1: that the skywalk is incontestable but it is not heterotrophic is not true. sent2: something does not circularize if the fact that it does not guarantee concubinage and is not angry is not right. sent3: the fact that the skywalk is not incontestable and is not heterotrophic is not right. sent4: that the skywalk is both not incontestable and heterotrophic is wrong. sent5: if the skywalk does not guarantee concubinage the pub circularizes. sent6: the fact that something does not guarantee concubinage and it is not angry is false if it is sartorial.
the pub does not circularize.
sent2 -> int1: if that the pub does not guarantee concubinage and it is unangry is not correct then that it does not circularize is true.; sent6 -> int2: the fact that the pub does not guarantee concubinage and it is not angry is not correct if it is sartorial.;
$hypothesis$ = the pub circularizes. ; $context$ = sent1: that the skywalk is incontestable but it is not heterotrophic is not true. sent2: something does not circularize if the fact that it does not guarantee concubinage and is not angry is not right. sent3: the fact that the skywalk is not incontestable and is not heterotrophic is not right. sent4: that the skywalk is both not incontestable and heterotrophic is wrong. sent5: if the skywalk does not guarantee concubinage the pub circularizes. sent6: the fact that something does not guarantee concubinage and it is not angry is false if it is sartorial. ; $proof$ = 
__UNKNOWN__