the furan is a kind of a sprigged.
sent1: if something is not a napalm then it is not a sprigged. sent2: the fact that the philatelist does normalize trichlormethiazide and is not adamantine is incorrect if there exists something such that it is a napalm. sent3: that something does not bow motorcycle and does not normalize trichlormethiazide is not true if it is adamantine. sent4: the philatelist is not a kind of a relative and it does not bow motorcycle if the Inca does not bow motorcycle. sent5: if the fact that something normalizes trichlormethiazide but it is not adamantine does not hold that it bows motorcycle is not incorrect. sent6: the aquatic is not a sprigged. sent7: there exists something such that it is a kind of a napalm. sent8: the aquatic is a carapace. sent9: if something normalizes trichlormethiazide then that it is not a kind of a napalm hold. sent10: the Inca normalizes trichlormethiazide if that it is adamantine and is not a kind of a relative does not hold. sent11: if the Inca is not relative and tinges topminnow the furan is a sprigged. sent12: the furan is a sprigged if the Inca is not a relative and it does not tinge topminnow. sent13: if the fact that the philatelist does not bow motorcycle is not wrong the furan is not a sprigged and does not bow motorcycle. sent14: if the philatelist does not normalize trichlormethiazide then it does bow motorcycle. sent15: the aquatic does not tinge topminnow if the philatelist is a kind of a carapace but it is not a Roundhead. sent16: the furan is not octangular. sent17: if the aquatic does not tinge topminnow then the Inca is not relative and it does not tinge topminnow. sent18: something is a carapace but it is not a Roundhead if it bows motorcycle. sent19: the philatelist is a blush and not a toadflax.
sent7 & sent2 -> int1: the fact that the philatelist does normalize trichlormethiazide and is not adamantine is not right.; sent5 -> int2: the fact that the philatelist does bow motorcycle is not wrong if the fact that it normalizes trichlormethiazide and it is not adamantine is not true.; int1 & int2 -> int3: the philatelist does bow motorcycle.; sent18 -> int4: the philatelist is a kind of a carapace but it is not a kind of a Roundhead if it does bow motorcycle.; int3 & int4 -> int5: the philatelist is a carapace but it is not a kind of a Roundhead.; int5 & sent15 -> int6: the aquatic does not tinge topminnow.; int6 & sent17 -> int7: the fact that the Inca is not a kind of a relative and it does not tinge topminnow is not incorrect.; int7 & sent12 -> hypothesis;
the furan is not a sprigged.
sent1 -> int8: the furan is not a sprigged if it is not a kind of a napalm.; sent9 -> int9: the furan is not a napalm if it does normalize trichlormethiazide.; sent3 -> int10: if the philatelist is adamantine that it does not bow motorcycle and does not normalize trichlormethiazide is false.;
$hypothesis$ = the furan is a kind of a sprigged. ; $context$ = sent1: if something is not a napalm then it is not a sprigged. sent2: the fact that the philatelist does normalize trichlormethiazide and is not adamantine is incorrect if there exists something such that it is a napalm. sent3: that something does not bow motorcycle and does not normalize trichlormethiazide is not true if it is adamantine. sent4: the philatelist is not a kind of a relative and it does not bow motorcycle if the Inca does not bow motorcycle. sent5: if the fact that something normalizes trichlormethiazide but it is not adamantine does not hold that it bows motorcycle is not incorrect. sent6: the aquatic is not a sprigged. sent7: there exists something such that it is a kind of a napalm. sent8: the aquatic is a carapace. sent9: if something normalizes trichlormethiazide then that it is not a kind of a napalm hold. sent10: the Inca normalizes trichlormethiazide if that it is adamantine and is not a kind of a relative does not hold. sent11: if the Inca is not relative and tinges topminnow the furan is a sprigged. sent12: the furan is a sprigged if the Inca is not a relative and it does not tinge topminnow. sent13: if the fact that the philatelist does not bow motorcycle is not wrong the furan is not a sprigged and does not bow motorcycle. sent14: if the philatelist does not normalize trichlormethiazide then it does bow motorcycle. sent15: the aquatic does not tinge topminnow if the philatelist is a kind of a carapace but it is not a Roundhead. sent16: the furan is not octangular. sent17: if the aquatic does not tinge topminnow then the Inca is not relative and it does not tinge topminnow. sent18: something is a carapace but it is not a Roundhead if it bows motorcycle. sent19: the philatelist is a blush and not a toadflax. ; $proof$ = 
sent7 & sent2 -> int1: the fact that the philatelist does normalize trichlormethiazide and is not adamantine is not right.; sent5 -> int2: the fact that the philatelist does bow motorcycle is not wrong if the fact that it normalizes trichlormethiazide and it is not adamantine is not true.; int1 & int2 -> int3: the philatelist does bow motorcycle.; sent18 -> int4: the philatelist is a kind of a carapace but it is not a kind of a Roundhead if it does bow motorcycle.; int3 & int4 -> int5: the philatelist is a carapace but it is not a kind of a Roundhead.; int5 & sent15 -> int6: the aquatic does not tinge topminnow.; int6 & sent17 -> int7: the fact that the Inca is not a kind of a relative and it does not tinge topminnow is not incorrect.; int7 & sent12 -> hypothesis; __PROVED__