the sidelight is not a pyralid.
sent1: if the signalman irrigates then the cockney does irrigates. sent2: if the Pyxis does beware it is a woodcock. sent3: if the luncher uploads bioscience the sidelight is not geocentric. sent4: the sidelight is multilateral. sent5: if the luncher does not upload bioscience and does not harangue propjet then it is not a pyralid. sent6: if the sidelight is not a warrant but geocentric then it is not a pyralid. sent7: if something irrigates then it is a taxability. sent8: something that is both not a warrant and not non-geocentric is not a pyralid. sent9: the sidelight is not geocentric. sent10: if the luncher uploads bioscience then the sidelight is both not a warrant and non-geocentric. sent11: the sidelight harangues propjet if it is geocentric. sent12: if something is not a warrant and it is not geocentric then it is not a pyralid. sent13: if the cockney is a kind of a pyralid the sidelight is a kind of a pyralid. sent14: the luncher harangues propjet. sent15: that the enterolith is non-geocentric but it is a taxability is not right if the paraffin is a warrant. sent16: the luncher harangues propjet and it irrigates. sent17: if something irrigates then it is a kind of a pyralid. sent18: the paraffin is a kind of a warrant and harangues propjet.
sent7 -> int1: the fact that if the luncher irrigates the luncher is a taxability is not wrong.; sent16 -> int2: the luncher does irrigate.; int1 & int2 -> int3: the luncher is a taxability.; sent12 -> int4: if the sidelight is not a warrant and it is not geocentric it is not a pyralid.;
the sidelight is a pyralid.
sent17 -> int5: the cockney is a kind of a pyralid if it does irrigate.; sent18 -> int6: the paraffin is a warrant.; sent15 & int6 -> int7: the fact that the enterolith is both not geocentric and a taxability does not hold.; int7 -> int8: there is something such that that it is a kind of non-geocentric thing that is a kind of a taxability does not hold.;
$hypothesis$ = the sidelight is not a pyralid. ; $context$ = sent1: if the signalman irrigates then the cockney does irrigates. sent2: if the Pyxis does beware it is a woodcock. sent3: if the luncher uploads bioscience the sidelight is not geocentric. sent4: the sidelight is multilateral. sent5: if the luncher does not upload bioscience and does not harangue propjet then it is not a pyralid. sent6: if the sidelight is not a warrant but geocentric then it is not a pyralid. sent7: if something irrigates then it is a taxability. sent8: something that is both not a warrant and not non-geocentric is not a pyralid. sent9: the sidelight is not geocentric. sent10: if the luncher uploads bioscience then the sidelight is both not a warrant and non-geocentric. sent11: the sidelight harangues propjet if it is geocentric. sent12: if something is not a warrant and it is not geocentric then it is not a pyralid. sent13: if the cockney is a kind of a pyralid the sidelight is a kind of a pyralid. sent14: the luncher harangues propjet. sent15: that the enterolith is non-geocentric but it is a taxability is not right if the paraffin is a warrant. sent16: the luncher harangues propjet and it irrigates. sent17: if something irrigates then it is a kind of a pyralid. sent18: the paraffin is a kind of a warrant and harangues propjet. ; $proof$ = 
sent7 -> int1: the fact that if the luncher irrigates the luncher is a taxability is not wrong.; sent16 -> int2: the luncher does irrigate.; int1 & int2 -> int3: the luncher is a taxability.; sent12 -> int4: if the sidelight is not a warrant and it is not geocentric it is not a pyralid.; __UNKNOWN__