the basidiocarp is a Iraqi.
sent1: the basidiocarp is not Iraqi if the spirillum is a kind of a wide-body. sent2: the basidiocarp is Iraqi if it is non-unresponsive a Cnidoscolus. sent3: something does not stable accordionist but it is a kind of a Iraqi if it is not a fineness. sent4: the basidiocarp is a Iraqi if it is unresponsive and it is not a kind of a Cnidoscolus. sent5: that the knife is not a temple and/or it does top hold. sent6: something is a Iraqi if it is not unresponsive and is not a kind of a Cnidoscolus. sent7: if there is something such that it stables accordionist then that the Cheviot is a fineness but it is not a wide-body is not right. sent8: if something is not plutocratic then the fact that it is not embolic and it does not risk gowned is not true. sent9: if there is something such that the fact that it is a kind of non-embolic thing that does not risk gowned is not true the bronchoscope stables accordionist. sent10: if something is not unresponsive but it is a Cnidoscolus it is a Iraqi. sent11: the fact that the spirillum is a Iraqi is right. sent12: the guildhall is not plutocratic if somethings are not a temple or a top or both. sent13: if something does not stable accordionist and is a Iraqi then it is a wide-body. sent14: the fact that something is a Iraqi is not wrong if it is unresponsive and is not a Cnidoscolus. sent15: if the spirillum is not a wide-body the basidiocarp is not unresponsive and it is not a Cnidoscolus.
sent6 -> int1: the basidiocarp is a Iraqi if it is both not unresponsive and not a Cnidoscolus.;
the subjectivist is a wide-body.
sent13 -> int2: if the subjectivist does not stable accordionist and is Iraqi it is a kind of a wide-body.; sent3 -> int3: the subjectivist does not stable accordionist but it is a kind of a Iraqi if it is not a kind of a fineness.;
$hypothesis$ = the basidiocarp is a Iraqi. ; $context$ = sent1: the basidiocarp is not Iraqi if the spirillum is a kind of a wide-body. sent2: the basidiocarp is Iraqi if it is non-unresponsive a Cnidoscolus. sent3: something does not stable accordionist but it is a kind of a Iraqi if it is not a fineness. sent4: the basidiocarp is a Iraqi if it is unresponsive and it is not a kind of a Cnidoscolus. sent5: that the knife is not a temple and/or it does top hold. sent6: something is a Iraqi if it is not unresponsive and is not a kind of a Cnidoscolus. sent7: if there is something such that it stables accordionist then that the Cheviot is a fineness but it is not a wide-body is not right. sent8: if something is not plutocratic then the fact that it is not embolic and it does not risk gowned is not true. sent9: if there is something such that the fact that it is a kind of non-embolic thing that does not risk gowned is not true the bronchoscope stables accordionist. sent10: if something is not unresponsive but it is a Cnidoscolus it is a Iraqi. sent11: the fact that the spirillum is a Iraqi is right. sent12: the guildhall is not plutocratic if somethings are not a temple or a top or both. sent13: if something does not stable accordionist and is a Iraqi then it is a wide-body. sent14: the fact that something is a Iraqi is not wrong if it is unresponsive and is not a Cnidoscolus. sent15: if the spirillum is not a wide-body the basidiocarp is not unresponsive and it is not a Cnidoscolus. ; $proof$ = 
sent6 -> int1: the basidiocarp is a Iraqi if it is both not unresponsive and not a Cnidoscolus.; __UNKNOWN__