the goatsfoot is a grassfinch and does not soak.
sent1: that the spearfish is a pinstripe and it is allylic is incorrect if the cote is not a fuse. sent2: the spearfish is a grassfinch. sent3: the spearfish is not a pinstripe if that that the cote is allylic and is not overt is not false is incorrect. sent4: if something is not a pinstripe that it is frictionless and is a preteen is wrong. sent5: if the fact that something is frictionless thing that is a preteen is not true then it is not a kind of a fuse. sent6: the fact that the cote is a soak that is not allylic is wrong. sent7: the fact that the cote is allylic and is not overt is not true if it is not non-clamatorial. sent8: that the goatsfoot is a kind of a soak and it is not non-allylic does not hold. sent9: the spearfish is not clamatorial. sent10: if that the cote is a kind of a soak and is allylic does not hold then it is not overt. sent11: the cote is clamatorial. sent12: if something is clamatorial then it is a grassfinch and it does not soak. sent13: the fact that the goatsfoot is a kind of a grassfinch but it is not a soak is incorrect if that the spearfish is not a fuse is true. sent14: if the fact that the goatsfoot does not fuse is true that it is frictionless and a grassfinch is incorrect. sent15: if the fact that the goatsfoot is non-frictionless and it is not a fuse is wrong then it is non-frictionless. sent16: something is not overt if it is not a kind of a pinstripe. sent17: if something is not frictionless then that it is Aleutians and it is a beast is incorrect.
sent7 & sent11 -> int1: the fact that the cote is allylic but not overt is not correct.; int1 & sent3 -> int2: that the spearfish is not a pinstripe is not incorrect.; sent4 -> int3: that the spearfish is frictionless thing that is a preteen does not hold if it is not a pinstripe.; int2 & int3 -> int4: that the spearfish is frictionless thing that is a preteen is not right.; sent5 -> int5: the spearfish does not fuse if that the fact that it is both frictionless and a preteen is not incorrect is not correct.; int4 & int5 -> int6: the spearfish does not fuse.; int6 & sent13 -> hypothesis;
if that the catch is not frictionless is right then that it is Aleutians and a beast is not true.
sent17 -> hypothesis;
$hypothesis$ = the goatsfoot is a grassfinch and does not soak. ; $context$ = sent1: that the spearfish is a pinstripe and it is allylic is incorrect if the cote is not a fuse. sent2: the spearfish is a grassfinch. sent3: the spearfish is not a pinstripe if that that the cote is allylic and is not overt is not false is incorrect. sent4: if something is not a pinstripe that it is frictionless and is a preteen is wrong. sent5: if the fact that something is frictionless thing that is a preteen is not true then it is not a kind of a fuse. sent6: the fact that the cote is a soak that is not allylic is wrong. sent7: the fact that the cote is allylic and is not overt is not true if it is not non-clamatorial. sent8: that the goatsfoot is a kind of a soak and it is not non-allylic does not hold. sent9: the spearfish is not clamatorial. sent10: if that the cote is a kind of a soak and is allylic does not hold then it is not overt. sent11: the cote is clamatorial. sent12: if something is clamatorial then it is a grassfinch and it does not soak. sent13: the fact that the goatsfoot is a kind of a grassfinch but it is not a soak is incorrect if that the spearfish is not a fuse is true. sent14: if the fact that the goatsfoot does not fuse is true that it is frictionless and a grassfinch is incorrect. sent15: if the fact that the goatsfoot is non-frictionless and it is not a fuse is wrong then it is non-frictionless. sent16: something is not overt if it is not a kind of a pinstripe. sent17: if something is not frictionless then that it is Aleutians and it is a beast is incorrect. ; $proof$ = 
sent7 & sent11 -> int1: the fact that the cote is allylic but not overt is not correct.; int1 & sent3 -> int2: that the spearfish is not a pinstripe is not incorrect.; sent4 -> int3: that the spearfish is frictionless thing that is a preteen does not hold if it is not a pinstripe.; int2 & int3 -> int4: that the spearfish is frictionless thing that is a preteen is not right.; sent5 -> int5: the spearfish does not fuse if that the fact that it is both frictionless and a preteen is not incorrect is not correct.; int4 & int5 -> int6: the spearfish does not fuse.; int6 & sent13 -> hypothesis; __DISPROVED__