the galleon is not allergenic.
sent1: if the daydreamer is not a pyrometer then the galleon is allergenic and it is a kind of a Boeotia. sent2: the galleon is supernal. sent3: if the galleon is not a kind of a Boeotia then it is not allergenic and it is supernal. sent4: if something is not a waterway the fact that it does capitulate and is not precordial is not right. sent5: if a pyrometer is a Boeotia that it is not supernal hold. sent6: something is not a pyrometer if the fact that it capitulates and it is not precordial is false. sent7: if the daydreamer squeegees Hydnocarpus and/or it does not powwow reassignment it does not powwow reassignment. sent8: if the fact that something does capitulate or is not a waterway or both is wrong it is not precordial. sent9: if the fact that the galleon is a Boeotia is incorrect then the fact that it is not non-supernal is not wrong. sent10: the daydreamer is not aortal. sent11: the galleon is not a Boeotia. sent12: either the daydreamer does squeegee Hydnocarpus or it does not powwow reassignment or both. sent13: the galleon does slacken if there exists something such that it is not aortal and it does not powwow reassignment. sent14: if something is not precordial it is a pyrometer and is a Boeotia. sent15: if something slackens then it is an arrow.
sent3 & sent11 -> int1: the galleon is not allergenic but supernal.; int1 -> hypothesis;
the Stellite is not supernal.
sent5 -> int2: if the Stellite is a pyrometer and is a Boeotia it is not supernal.; sent14 -> int3: if the Stellite is not precordial it is a kind of a pyrometer and is a Boeotia.; sent8 -> int4: that the Stellite is not precordial if that the fact that the Stellite does capitulate or is not a waterway or both hold is not true hold.; sent15 -> int5: if the galleon slackens it is a kind of an arrow.; sent7 & sent12 -> int6: the daydreamer does not powwow reassignment.; sent10 & int6 -> int7: the daydreamer is not aortal and it does not powwow reassignment.; int7 -> int8: something is not aortal and does not powwow reassignment.; int8 & sent13 -> int9: the galleon does slacken.; int5 & int9 -> int10: the galleon is an arrow.; int10 -> int11: there is something such that it is an arrow.;
$hypothesis$ = the galleon is not allergenic. ; $context$ = sent1: if the daydreamer is not a pyrometer then the galleon is allergenic and it is a kind of a Boeotia. sent2: the galleon is supernal. sent3: if the galleon is not a kind of a Boeotia then it is not allergenic and it is supernal. sent4: if something is not a waterway the fact that it does capitulate and is not precordial is not right. sent5: if a pyrometer is a Boeotia that it is not supernal hold. sent6: something is not a pyrometer if the fact that it capitulates and it is not precordial is false. sent7: if the daydreamer squeegees Hydnocarpus and/or it does not powwow reassignment it does not powwow reassignment. sent8: if the fact that something does capitulate or is not a waterway or both is wrong it is not precordial. sent9: if the fact that the galleon is a Boeotia is incorrect then the fact that it is not non-supernal is not wrong. sent10: the daydreamer is not aortal. sent11: the galleon is not a Boeotia. sent12: either the daydreamer does squeegee Hydnocarpus or it does not powwow reassignment or both. sent13: the galleon does slacken if there exists something such that it is not aortal and it does not powwow reassignment. sent14: if something is not precordial it is a pyrometer and is a Boeotia. sent15: if something slackens then it is an arrow. ; $proof$ = 
sent3 & sent11 -> int1: the galleon is not allergenic but supernal.; int1 -> hypothesis; __PROVED__