the baluster does not frizzle.
sent1: that the squirrelfish is not subtractive hold. sent2: the macaroni is not a kind of a Jeffersonian. sent3: something that is not a voodoo is not a herpetologist. sent4: if the macaroni is not a fell then the fact that the baluster is not a fell but it is a Jeffersonian is false. sent5: something does not frizzle if the fact that it is not a fell and it is a Jeffersonian is false. sent6: something does not fall if it is not subtractive. sent7: the macaroni does not frizzle. sent8: the neutron does fall if the baluster is not subtractive. sent9: that the neutron is not urceolate but it frizzles is not correct if the baluster is not urceolate. sent10: the macaroni is not a kind of a fell if the neutron is not urceolate. sent11: the macaroni is not a fell if the neutron is not subtractive. sent12: that the hadron is non-urceolate is not wrong if the neutron is both not a fell and non-urceolate. sent13: there exists something such that it intrudes shipmate. sent14: the baluster is not urceolate or it does not frizzle or both. sent15: the neutron is not a kind of a fell. sent16: the macaroni is not a kind of a Jeffersonian and/or is not a fell. sent17: the fact that the baluster is not a Jeffersonian and is subtractive is not right. sent18: if the baluster is not subtractive the fact that the neutron is subtractive and not non-Jeffersonian is not right. sent19: the neutron does not fall or it is not urceolate or both. sent20: the soddy is not subtractive. sent21: if that something does not frizzle but it is Jeffersonian is false then that it is not urceolate hold. sent22: if the baluster is not urceolate that the neutron does not frizzle is not false. sent23: that the baluster is not a Jeffersonian and is a kind of a fell is not true if that the macaroni is not a Jeffersonian is not false. sent24: something frizzles and/or it is not a Jeffersonian if it does not comfort brigantine. sent25: the neutron either is not subtractive or is not urceolate or both.
sent25 & sent11 & sent10 -> int1: the macaroni is not a kind of a fell.; int1 & sent4 -> int2: that the baluster does not fall and is a Jeffersonian is not right.; sent5 -> int3: the baluster does not frizzle if the fact that it is both not a fell and Jeffersonian is not correct.; int2 & int3 -> hypothesis;
the baluster does frizzle.
$hypothesis$ = the baluster does not frizzle. ; $context$ = sent1: that the squirrelfish is not subtractive hold. sent2: the macaroni is not a kind of a Jeffersonian. sent3: something that is not a voodoo is not a herpetologist. sent4: if the macaroni is not a fell then the fact that the baluster is not a fell but it is a Jeffersonian is false. sent5: something does not frizzle if the fact that it is not a fell and it is a Jeffersonian is false. sent6: something does not fall if it is not subtractive. sent7: the macaroni does not frizzle. sent8: the neutron does fall if the baluster is not subtractive. sent9: that the neutron is not urceolate but it frizzles is not correct if the baluster is not urceolate. sent10: the macaroni is not a kind of a fell if the neutron is not urceolate. sent11: the macaroni is not a fell if the neutron is not subtractive. sent12: that the hadron is non-urceolate is not wrong if the neutron is both not a fell and non-urceolate. sent13: there exists something such that it intrudes shipmate. sent14: the baluster is not urceolate or it does not frizzle or both. sent15: the neutron is not a kind of a fell. sent16: the macaroni is not a kind of a Jeffersonian and/or is not a fell. sent17: the fact that the baluster is not a Jeffersonian and is subtractive is not right. sent18: if the baluster is not subtractive the fact that the neutron is subtractive and not non-Jeffersonian is not right. sent19: the neutron does not fall or it is not urceolate or both. sent20: the soddy is not subtractive. sent21: if that something does not frizzle but it is Jeffersonian is false then that it is not urceolate hold. sent22: if the baluster is not urceolate that the neutron does not frizzle is not false. sent23: that the baluster is not a Jeffersonian and is a kind of a fell is not true if that the macaroni is not a Jeffersonian is not false. sent24: something frizzles and/or it is not a Jeffersonian if it does not comfort brigantine. sent25: the neutron either is not subtractive or is not urceolate or both. ; $proof$ = 
sent25 & sent11 & sent10 -> int1: the macaroni is not a kind of a fell.; int1 & sent4 -> int2: that the baluster does not fall and is a Jeffersonian is not right.; sent5 -> int3: the baluster does not frizzle if the fact that it is both not a fell and Jeffersonian is not correct.; int2 & int3 -> hypothesis; __PROVED__