there is something such that the fact that it refrains salve and does help does not hold.
sent1: the signalman does not photostat luxury. sent2: something is a kind of compliant a foretop if it does not reminisce. sent3: if the orris does not ping that the signalman refrains salve and does help does not hold. sent4: something does not reminisce if the fact that it does not perfect is true. sent5: that the orris circularizes profundity and is a boathouse does not hold if something pings. sent6: the signalman does not photostat half-term and is not incongruous. sent7: the signalman photostats tamarack. sent8: there is something such that that it helps and it is a ping is wrong. sent9: if something photostats strap and it photostats tamarack it is not perfected. sent10: the signalman does photostat strap if it does not photostat half-term and it is not incongruous. sent11: something is a ping if it is compliant. sent12: the orris is not a kind of a ping. sent13: there exists something such that it does refrain salve and does help.
sent3 & sent12 -> int1: the fact that the signalman refrains salve and helps is not true.; int1 -> hypothesis;
the fact that the orris circularizes profundity and is a boathouse is false.
sent11 -> int2: the signalman does ping if it is compliant.; sent2 -> int3: if the signalman does not reminisce then it is both compliant and a foretop.; sent4 -> int4: the fact that the signalman does not reminisce if the signalman is not perfected is not false.; sent9 -> int5: the signalman is non-perfected if it photostats strap and it does photostat tamarack.; sent10 & sent6 -> int6: the signalman photostats strap.; int6 & sent7 -> int7: the signalman does photostat strap and photostats tamarack.; int5 & int7 -> int8: the signalman does not perfect.; int4 & int8 -> int9: the signalman does not reminisce.; int3 & int9 -> int10: the signalman is compliant and it is a foretop.; int10 -> int11: the signalman is compliant.; int2 & int11 -> int12: the signalman is a ping.; int12 -> int13: something is a ping.; int13 & sent5 -> hypothesis;
$hypothesis$ = there is something such that the fact that it refrains salve and does help does not hold. ; $context$ = sent1: the signalman does not photostat luxury. sent2: something is a kind of compliant a foretop if it does not reminisce. sent3: if the orris does not ping that the signalman refrains salve and does help does not hold. sent4: something does not reminisce if the fact that it does not perfect is true. sent5: that the orris circularizes profundity and is a boathouse does not hold if something pings. sent6: the signalman does not photostat half-term and is not incongruous. sent7: the signalman photostats tamarack. sent8: there is something such that that it helps and it is a ping is wrong. sent9: if something photostats strap and it photostats tamarack it is not perfected. sent10: the signalman does photostat strap if it does not photostat half-term and it is not incongruous. sent11: something is a ping if it is compliant. sent12: the orris is not a kind of a ping. sent13: there exists something such that it does refrain salve and does help. ; $proof$ = 
sent3 & sent12 -> int1: the fact that the signalman refrains salve and helps is not true.; int1 -> hypothesis; __PROVED__