that that the bowsprit is indoor and it pairs lodestar does not hold is not wrong.
sent1: the fact that something does not supple hound's-tongue and is a tarantism does not hold if the fact that it is a calla is not wrong. sent2: that something is a kind of an arbiter that is not a kind of a calla is not true if it is a cutting. sent3: that the bowsprit is not viral and does not pare Madeiras is not true. sent4: the Empire is incalculable if the fact that it does not supple barrel and it is a kind of a Phasianus does not hold. sent5: if the bowsprit is viral then it does pair lodestar. sent6: if something is platyrrhine the fact that it does cut is not incorrect. sent7: that the fact that the bowsprit is not indoor and it is not a tarantism hold does not hold. sent8: the lodestar either is platyrrhine or is orthoptic or both if there is something such that it is not calculable. sent9: if the Madeiras is not a tarantism then that the bowsprit is indoor and pairs lodestar is wrong. sent10: the fact that the Empire does not supple barrel and is a kind of a Phasianus is false. sent11: that if the fact that the bowsprit is a kind of outdoor thing that is not the tarantism is not right the bowsprit is outdoor is not false. sent12: that the bowsprit is indoor but not a tarantism is not right. sent13: if the fact that the bowsprit is not viral and it does not pare Madeiras does not hold then it pairs lodestar. sent14: a orthoptic thing cuts. sent15: if the sampler is a kind of a calla it does not pair lodestar and it is a tarantism. sent16: if the fact that the lodestar is an arbiter but it is not a kind of a calla does not hold the fact that the wader is a calla is not false. sent17: that the bowsprit is viral but it does not pare Madeiras does not hold. sent18: if something does not pair lodestar but it is a tarantism then it is indoor.
sent13 & sent3 -> int1: the bowsprit pairs lodestar.; sent11 & sent7 -> int2: the bowsprit is indoor.; int1 & int2 -> hypothesis;
the fact that the bowsprit is indoor and it pairs lodestar does not hold.
sent1 -> int3: the fact that the wader does not supple hound's-tongue but it is a tarantism is incorrect if it is a calla.; sent2 -> int4: that if that the lodestar is not non-cutting is not false the fact that the lodestar is an arbiter but it is not a calla is wrong is right.; sent4 & sent10 -> int5: the Empire is incalculable.; int5 -> int6: that there exists something such that it is incalculable hold.; int6 & sent8 -> int7: the lodestar is a kind of a platyrrhine or is orthoptic or both.; sent6 -> int8: the lodestar cuts if the fact that it is not non-platyrrhine hold.; sent14 -> int9: if the lodestar is orthoptic it is a kind of a cutting.; int7 & int8 & int9 -> int10: that the lodestar is a cutting is true.; int4 & int10 -> int11: that the lodestar is an arbiter and not a calla is incorrect.; sent16 & int11 -> int12: the wader is a calla.; int3 & int12 -> int13: the fact that the wader does not supple hound's-tongue and is a tarantism is incorrect.; int13 -> int14: there is something such that the fact that it does not supple hound's-tongue and it is a tarantism is false.;
$hypothesis$ = that that the bowsprit is indoor and it pairs lodestar does not hold is not wrong. ; $context$ = sent1: the fact that something does not supple hound's-tongue and is a tarantism does not hold if the fact that it is a calla is not wrong. sent2: that something is a kind of an arbiter that is not a kind of a calla is not true if it is a cutting. sent3: that the bowsprit is not viral and does not pare Madeiras is not true. sent4: the Empire is incalculable if the fact that it does not supple barrel and it is a kind of a Phasianus does not hold. sent5: if the bowsprit is viral then it does pair lodestar. sent6: if something is platyrrhine the fact that it does cut is not incorrect. sent7: that the fact that the bowsprit is not indoor and it is not a tarantism hold does not hold. sent8: the lodestar either is platyrrhine or is orthoptic or both if there is something such that it is not calculable. sent9: if the Madeiras is not a tarantism then that the bowsprit is indoor and pairs lodestar is wrong. sent10: the fact that the Empire does not supple barrel and is a kind of a Phasianus is false. sent11: that if the fact that the bowsprit is a kind of outdoor thing that is not the tarantism is not right the bowsprit is outdoor is not false. sent12: that the bowsprit is indoor but not a tarantism is not right. sent13: if the fact that the bowsprit is not viral and it does not pare Madeiras does not hold then it pairs lodestar. sent14: a orthoptic thing cuts. sent15: if the sampler is a kind of a calla it does not pair lodestar and it is a tarantism. sent16: if the fact that the lodestar is an arbiter but it is not a kind of a calla does not hold the fact that the wader is a calla is not false. sent17: that the bowsprit is viral but it does not pare Madeiras does not hold. sent18: if something does not pair lodestar but it is a tarantism then it is indoor. ; $proof$ = 
sent13 & sent3 -> int1: the bowsprit pairs lodestar.; sent11 & sent7 -> int2: the bowsprit is indoor.; int1 & int2 -> hypothesis; __DISPROVED__