the fact that the pinstripe is a toxicology and/or it bounces is false.
sent1: the footplate is smaller thing that does not measure footplate. sent2: the rivulus is a kind of a gelignite if it is a bounce and it is not a toxicology. sent3: the rivulus is smaller if the pinstripe is a bounce but not a gelignite. sent4: the footplate is a kind of a shrillness if it does not measure footplate and is not a kind of a toxicology. sent5: the footplate is a ruin. sent6: the pinstripe is not smaller. sent7: the rivulus is not a kind of a gelignite. sent8: the rivulus is both smaller and not a gelignite if the footplate is a kind of a gelignite. sent9: the pinstripe is a toxicology if the rivulus is smaller thing that is not a kind of a gelignite. sent10: the macaroon is not a gelignite. sent11: the footplate does not measure footplate and is not a kind of a shrillness. sent12: if the footplate does not measure footplate and it is not a shrillness it is a kind of a gelignite. sent13: if that the rivulus is a gelignite is not false the footplate is both smaller and not a gelignite. sent14: either something is smaller or it is not a kind of an agitation or both if it is not a kind of a gelignite. sent15: if the footplate is smaller and/or not an agitation then the pinstripe is not smaller.
sent12 & sent11 -> int1: the footplate is a gelignite.; sent8 & int1 -> int2: the rivulus is smaller but not a gelignite.; sent9 & int2 -> int3: the pinstripe is a toxicology.; int3 -> hypothesis;
that the pinstripe is a toxicology and/or a bounce is wrong.
sent14 -> int4: if the footplate is not a gelignite then it is smaller or it is not an agitation or both.;
$hypothesis$ = the fact that the pinstripe is a toxicology and/or it bounces is false. ; $context$ = sent1: the footplate is smaller thing that does not measure footplate. sent2: the rivulus is a kind of a gelignite if it is a bounce and it is not a toxicology. sent3: the rivulus is smaller if the pinstripe is a bounce but not a gelignite. sent4: the footplate is a kind of a shrillness if it does not measure footplate and is not a kind of a toxicology. sent5: the footplate is a ruin. sent6: the pinstripe is not smaller. sent7: the rivulus is not a kind of a gelignite. sent8: the rivulus is both smaller and not a gelignite if the footplate is a kind of a gelignite. sent9: the pinstripe is a toxicology if the rivulus is smaller thing that is not a kind of a gelignite. sent10: the macaroon is not a gelignite. sent11: the footplate does not measure footplate and is not a kind of a shrillness. sent12: if the footplate does not measure footplate and it is not a shrillness it is a kind of a gelignite. sent13: if that the rivulus is a gelignite is not false the footplate is both smaller and not a gelignite. sent14: either something is smaller or it is not a kind of an agitation or both if it is not a kind of a gelignite. sent15: if the footplate is smaller and/or not an agitation then the pinstripe is not smaller. ; $proof$ = 
sent12 & sent11 -> int1: the footplate is a gelignite.; sent8 & int1 -> int2: the rivulus is smaller but not a gelignite.; sent9 & int2 -> int3: the pinstripe is a toxicology.; int3 -> hypothesis; __DISPROVED__