the dock is not fatty.
sent1: the dock is not fatty if there is something such that that that it is not insectan and it is not a kind of a toby hold is not true. sent2: if that something is non-stabling and brave is not correct then it does reface tactics. sent3: there exists nothing that is non-anapestic thing that does fracture ether. sent4: the fact that the rensselaerite is not insectan and it is not a toby is wrong. sent5: the fact that the dock is not stabling but brave is not correct if the Testudo is not a cowrie. sent6: something is fatty but it is not scriptural if it does reface tactics.
sent4 -> int1: there exists something such that the fact that it is not insectan and it is not a kind of a toby does not hold.; int1 & sent1 -> hypothesis;
the fact that the dock is fatty is not incorrect.
sent6 -> int2: if the fact that the dock refaces tactics hold it is fatty thing that is not scriptural.; sent2 -> int3: if the fact that the dock is both non-stabling and brave is incorrect then it does reface tactics.; sent3 -> int4: the fact that the filibuster is a kind of non-anapestic thing that does fracture ether is not correct.; int4 -> int5: there exists something such that the fact that the fact that it is not anapestic and it fractures ether is true does not hold.;
$hypothesis$ = the dock is not fatty. ; $context$ = sent1: the dock is not fatty if there is something such that that that it is not insectan and it is not a kind of a toby hold is not true. sent2: if that something is non-stabling and brave is not correct then it does reface tactics. sent3: there exists nothing that is non-anapestic thing that does fracture ether. sent4: the fact that the rensselaerite is not insectan and it is not a toby is wrong. sent5: the fact that the dock is not stabling but brave is not correct if the Testudo is not a cowrie. sent6: something is fatty but it is not scriptural if it does reface tactics. ; $proof$ = 
sent4 -> int1: there exists something such that the fact that it is not insectan and it is not a kind of a toby does not hold.; int1 & sent1 -> hypothesis; __PROVED__