the fin is a kind of a Wessex.
sent1: everything is not representational. sent2: the fact that something is a kind of a transitive that is white-collar is not true if it is not representational. sent3: the wherry is a kind of a steppe if there exists something such that the fact that the fact that it is a transitive and white-collar is not false does not hold. sent4: if the terrace does transfigure the fin transfigure. sent5: the terrace transfigures and it is pointless. sent6: the bushtit is not a Wessex if there exists something such that it is a steppe. sent7: if the fact that the bushtit transfigures but it is not pointless is not correct that the terrace does transfigures hold. sent8: if the terrace is pointless then the fin is a Wessex. sent9: the terrace does transfigure. sent10: if something is not a Wessex the fact that it transfigures and it is not pointless is not correct.
sent5 -> int1: the terrace is pointless.; sent8 & int1 -> hypothesis;
the fin does transfigure.
sent2 -> int2: the fact that the Khanty is a kind of a transitive and it is white-collar is false if it is not representational.; sent1 -> int3: the Khanty is not representational.; int2 & int3 -> int4: the fact that that the Khanty is transitive and it is white-collar is not incorrect is not correct.; int4 -> int5: there exists nothing such that it is transitive and it is white-collar.; int5 -> int6: the fact that the Marxist is both transitive and white-collar is incorrect.; int6 -> int7: there exists something such that the fact that it is a kind of a transitive and it is white-collar is incorrect.; sent3 & int7 -> int8: the wherry is a kind of a steppe.; int8 -> int9: the fact that something is a kind of a steppe is true.; sent6 & int9 -> int10: the bushtit is not a kind of a Wessex.; sent10 -> int11: if the bushtit is not a kind of a Wessex then that it transfigures and it is not pointless is not true.; int10 & int11 -> int12: the fact that the bushtit transfigures but it is not pointless is incorrect.; sent7 & int12 -> int13: the terrace transfigures.; sent4 & int13 -> hypothesis;
$hypothesis$ = the fin is a kind of a Wessex. ; $context$ = sent1: everything is not representational. sent2: the fact that something is a kind of a transitive that is white-collar is not true if it is not representational. sent3: the wherry is a kind of a steppe if there exists something such that the fact that the fact that it is a transitive and white-collar is not false does not hold. sent4: if the terrace does transfigure the fin transfigure. sent5: the terrace transfigures and it is pointless. sent6: the bushtit is not a Wessex if there exists something such that it is a steppe. sent7: if the fact that the bushtit transfigures but it is not pointless is not correct that the terrace does transfigures hold. sent8: if the terrace is pointless then the fin is a Wessex. sent9: the terrace does transfigure. sent10: if something is not a Wessex the fact that it transfigures and it is not pointless is not correct. ; $proof$ = 
sent5 -> int1: the terrace is pointless.; sent8 & int1 -> hypothesis; __PROVED__