the smear does sight strafe and is not a scour.
sent1: if there exists something such that it is a kind of a becomingness the scombroid is not diplomatic but it is hematologic. sent2: if the waterproofing is not Neanderthal then the smear sights strafe but it does not scour. sent3: something is a kind of a becomingness. sent4: something preambles if the fact that it is not orthographic is not false. sent5: there is something such that that it is infrequent is not false. sent6: the celebrity is diplomatic. sent7: if the scombroid is thenal and/or not non-hematologic the waterproofing is not orthographic. sent8: that the smear does sight strafe but it is not a scour does not hold if the scombroid is a kind of a becomingness. sent9: if there exists something such that it does not frequent that the celebrity is Aeschylean thing that is not proactive does not hold. sent10: the waterproofing is proactive if the fact that the celebrity is Aeschylean but not proactive does not hold. sent11: if a proactive thing does preamble then it is not Neanderthal.
sent3 & sent1 -> int1: the scombroid is not diplomatic but it is hematologic.; int1 -> int2: the scombroid is hematologic.; int2 -> int3: either the scombroid is thenal or it is hematologic or both.; int3 & sent7 -> int4: the fact that the waterproofing is not orthographic is right.; sent4 -> int5: if the waterproofing is not orthographic then it does preamble.; int4 & int5 -> int6: the waterproofing is a preamble.; sent5 & sent9 -> int7: the fact that the celebrity is not non-Aeschylean but non-proactive is false.; sent10 & int7 -> int8: the waterproofing is proactive.; int6 & int8 -> int9: the waterproofing is proactive and it preambles.; sent11 -> int10: the waterproofing is not Neanderthal if it is both proactive and a preamble.; int9 & int10 -> int11: the waterproofing is not Neanderthal.; int11 & sent2 -> hypothesis;
the fact that the smear sights strafe and is not a scour is false.
$hypothesis$ = the smear does sight strafe and is not a scour. ; $context$ = sent1: if there exists something such that it is a kind of a becomingness the scombroid is not diplomatic but it is hematologic. sent2: if the waterproofing is not Neanderthal then the smear sights strafe but it does not scour. sent3: something is a kind of a becomingness. sent4: something preambles if the fact that it is not orthographic is not false. sent5: there is something such that that it is infrequent is not false. sent6: the celebrity is diplomatic. sent7: if the scombroid is thenal and/or not non-hematologic the waterproofing is not orthographic. sent8: that the smear does sight strafe but it is not a scour does not hold if the scombroid is a kind of a becomingness. sent9: if there exists something such that it does not frequent that the celebrity is Aeschylean thing that is not proactive does not hold. sent10: the waterproofing is proactive if the fact that the celebrity is Aeschylean but not proactive does not hold. sent11: if a proactive thing does preamble then it is not Neanderthal. ; $proof$ = 
sent3 & sent1 -> int1: the scombroid is not diplomatic but it is hematologic.; int1 -> int2: the scombroid is hematologic.; int2 -> int3: either the scombroid is thenal or it is hematologic or both.; int3 & sent7 -> int4: the fact that the waterproofing is not orthographic is right.; sent4 -> int5: if the waterproofing is not orthographic then it does preamble.; int4 & int5 -> int6: the waterproofing is a preamble.; sent5 & sent9 -> int7: the fact that the celebrity is not non-Aeschylean but non-proactive is false.; sent10 & int7 -> int8: the waterproofing is proactive.; int6 & int8 -> int9: the waterproofing is proactive and it preambles.; sent11 -> int10: the waterproofing is not Neanderthal if it is both proactive and a preamble.; int9 & int10 -> int11: the waterproofing is not Neanderthal.; int11 & sent2 -> hypothesis; __PROVED__