that the Anchorage is a kind of a static but it is not a reflation is false.
sent1: that the honeybee is a kind of a Spork is true. sent2: if something is a Eriodictyon then it gargles. sent3: something is siliceous and shelters Sharpie. sent4: the Anchorage is a Eriodictyon if a non-siliceous thing shelters Sharpie. sent5: the one-spot is a Rous if the honeybee is a Spork. sent6: the beak is not siliceous but it shelters Sharpie. sent7: something is not siliceous. sent8: if the Sharpie is not a kind of a Eriodictyon that that the Anchorage is static but it is not a reflation hold is false. sent9: something distinguishes undernourishment but it is not holy if it is abbatial. sent10: there exists something such that it shelters Sharpie. sent11: if the robber is not a kind of a trumpetwood then the fact that the exploiter is not a kind of a gargle and does not shelter honeybee is false. sent12: if the Anchorage shelters Sharpie it is a gargle and is not a reflation. sent13: the beak is non-siliceous. sent14: if something is a kind of a gargle then it is static. sent15: if something does gargle it is static and is not a reflation. sent16: if the Anchorage is a kind of a gargle then it is a static. sent17: the Anchorage is a static.
sent6 -> int1: there is something such that it is not siliceous and it does shelter Sharpie.; int1 & sent4 -> int2: the Anchorage is a kind of a Eriodictyon.; sent2 -> int3: the Anchorage is a gargle if it is a Eriodictyon.; int2 & int3 -> int4: that the Anchorage is a gargle is correct.; sent15 -> int5: if the Anchorage is a kind of a gargle it is static and it is not a kind of a reflation.; int4 & int5 -> hypothesis;
that the Anchorage is a kind of a static but it is not a reflation does not hold.
sent5 & sent1 -> int6: the one-spot is a Rous.;
$hypothesis$ = that the Anchorage is a kind of a static but it is not a reflation is false. ; $context$ = sent1: that the honeybee is a kind of a Spork is true. sent2: if something is a Eriodictyon then it gargles. sent3: something is siliceous and shelters Sharpie. sent4: the Anchorage is a Eriodictyon if a non-siliceous thing shelters Sharpie. sent5: the one-spot is a Rous if the honeybee is a Spork. sent6: the beak is not siliceous but it shelters Sharpie. sent7: something is not siliceous. sent8: if the Sharpie is not a kind of a Eriodictyon that that the Anchorage is static but it is not a reflation hold is false. sent9: something distinguishes undernourishment but it is not holy if it is abbatial. sent10: there exists something such that it shelters Sharpie. sent11: if the robber is not a kind of a trumpetwood then the fact that the exploiter is not a kind of a gargle and does not shelter honeybee is false. sent12: if the Anchorage shelters Sharpie it is a gargle and is not a reflation. sent13: the beak is non-siliceous. sent14: if something is a kind of a gargle then it is static. sent15: if something does gargle it is static and is not a reflation. sent16: if the Anchorage is a kind of a gargle then it is a static. sent17: the Anchorage is a static. ; $proof$ = 
sent6 -> int1: there is something such that it is not siliceous and it does shelter Sharpie.; int1 & sent4 -> int2: the Anchorage is a kind of a Eriodictyon.; sent2 -> int3: the Anchorage is a gargle if it is a Eriodictyon.; int2 & int3 -> int4: that the Anchorage is a gargle is correct.; sent15 -> int5: if the Anchorage is a kind of a gargle it is static and it is not a kind of a reflation.; int4 & int5 -> hypothesis; __DISPROVED__