the platform singles.
sent1: if that something does blinker moraine and is a mustard does not hold then it is not a kind of a single. sent2: if something does not blinker pall and it does not restrain then it is not a kind of a home. sent3: the brachycephalic is home and/or a single if the metasequoia is not a stocks. sent4: the brachycephalic is a kind of a mustard. sent5: the matchboard does blinker distinctness and is a doxology if it does not knot seersucker. sent6: the platform is not a single if it does not blinker moraine. sent7: if the fact that the ocelot knots seersucker and is not a lovingness does not hold then the matchboard does not knots seersucker. sent8: if there is something such that it is a carmaker then that the ketoprofen does not restrain and does not blinker pall is incorrect. sent9: the brachycephalic stocks. sent10: the brachycephalic stocks and does not home. sent11: if something blinkers distinctness and it is a kind of a miler then the neolith is a carmaker. sent12: if something is not a kind of a stocks that it blinkers moraine and it is a mustard is incorrect. sent13: the matchboard does not diagram and it does not criticize. sent14: if the brachycephalic is a stocks but not home then the platform is not a kind of a stocks. sent15: if the brachycephalic is a kind of a home the platform does single. sent16: that the ocelot does knot seersucker but it is not a lovingness is false. sent17: something is not a single if it does not blinker moraine. sent18: if there exists something such that that it does not restrain and it does not blinker pall is false the metasequoia is not a stocks. sent19: the matchboard is keyless and it is a miler if it does not criticize.
sent12 -> int1: if the fact that the platform is not a stocks is true that it does blinker moraine and it is a kind of a mustard does not hold.; sent14 & sent10 -> int2: the platform does not stock.; int1 & int2 -> int3: that the platform does blinker moraine and is a mustard is false.; sent1 -> int4: if the fact that the platform blinkers moraine and is a kind of a mustard is not right then it does not single.; int3 & int4 -> hypothesis;
the platform does single.
sent7 & sent16 -> int5: that the matchboard does not knot seersucker is not incorrect.; sent5 & int5 -> int6: the matchboard blinkers distinctness and is a kind of a doxology.; int6 -> int7: the matchboard blinkers distinctness.; sent13 -> int8: the matchboard does not criticize.; sent19 & int8 -> int9: the matchboard is keyless and is a kind of a miler.; int9 -> int10: the matchboard is a miler.; int7 & int10 -> int11: the fact that the matchboard does blinker distinctness and is a miler is not incorrect.; int11 -> int12: there exists something such that it does blinker distinctness and is a kind of a miler.; int12 & sent11 -> int13: the neolith is a carmaker.; int13 -> int14: something is a carmaker.; int14 & sent8 -> int15: the fact that the ketoprofen does not restrain and it does not blinker pall does not hold.; int15 -> int16: there is something such that the fact that it does not restrain and it does not blinker pall is wrong.; int16 & sent18 -> int17: the metasequoia is not a stocks.; sent3 & int17 -> int18: the fact that the brachycephalic is home and/or it singles hold.;
$hypothesis$ = the platform singles. ; $context$ = sent1: if that something does blinker moraine and is a mustard does not hold then it is not a kind of a single. sent2: if something does not blinker pall and it does not restrain then it is not a kind of a home. sent3: the brachycephalic is home and/or a single if the metasequoia is not a stocks. sent4: the brachycephalic is a kind of a mustard. sent5: the matchboard does blinker distinctness and is a doxology if it does not knot seersucker. sent6: the platform is not a single if it does not blinker moraine. sent7: if the fact that the ocelot knots seersucker and is not a lovingness does not hold then the matchboard does not knots seersucker. sent8: if there is something such that it is a carmaker then that the ketoprofen does not restrain and does not blinker pall is incorrect. sent9: the brachycephalic stocks. sent10: the brachycephalic stocks and does not home. sent11: if something blinkers distinctness and it is a kind of a miler then the neolith is a carmaker. sent12: if something is not a kind of a stocks that it blinkers moraine and it is a mustard is incorrect. sent13: the matchboard does not diagram and it does not criticize. sent14: if the brachycephalic is a stocks but not home then the platform is not a kind of a stocks. sent15: if the brachycephalic is a kind of a home the platform does single. sent16: that the ocelot does knot seersucker but it is not a lovingness is false. sent17: something is not a single if it does not blinker moraine. sent18: if there exists something such that that it does not restrain and it does not blinker pall is false the metasequoia is not a stocks. sent19: the matchboard is keyless and it is a miler if it does not criticize. ; $proof$ = 
sent12 -> int1: if the fact that the platform is not a stocks is true that it does blinker moraine and it is a kind of a mustard does not hold.; sent14 & sent10 -> int2: the platform does not stock.; int1 & int2 -> int3: that the platform does blinker moraine and is a mustard is false.; sent1 -> int4: if the fact that the platform blinkers moraine and is a kind of a mustard is not right then it does not single.; int3 & int4 -> hypothesis; __DISPROVED__