the fact that the c is not an inheritance and is a train is wrong.
sent1: if the c does not hate surrealist the fact that it is a kind of an inheritance and does train is wrong. sent2: that the becket is a town that is not a inopportuneness is incorrect if the fact that it is not a scrambler is not false. sent3: The surrealist does not hate c. sent4: that the c is not non-binocular and it hates surrealist does not hold. sent5: if something does not hate surrealist then the fact that that it is not an inheritance and is a train is not incorrect is not correct. sent6: the c does not hate surrealist.
sent5 -> int1: that the c is not a kind of an inheritance but it trains does not hold if it does not hate surrealist.; int1 & sent6 -> hypothesis;
the c is not an inheritance but it is a kind of a train.
$hypothesis$ = the fact that the c is not an inheritance and is a train is wrong. ; $context$ = sent1: if the c does not hate surrealist the fact that it is a kind of an inheritance and does train is wrong. sent2: that the becket is a town that is not a inopportuneness is incorrect if the fact that it is not a scrambler is not false. sent3: The surrealist does not hate c. sent4: that the c is not non-binocular and it hates surrealist does not hold. sent5: if something does not hate surrealist then the fact that that it is not an inheritance and is a train is not incorrect is not correct. sent6: the c does not hate surrealist. ; $proof$ = 
sent5 -> int1: that the c is not a kind of an inheritance but it trains does not hold if it does not hate surrealist.; int1 & sent6 -> hypothesis; __PROVED__