the fact that the hippoboscid is not receptive is true.
sent1: the hippoboscid is receptive if it does not refrain peony and is inequitable. sent2: the fact that the hippoboscid is not inequitable but it shivers is not true if there exists something such that it does not refrain peony. sent3: the sprayer is not a Manannan if it does quarantine. sent4: if something does not refrain peony then that the hippoboscid is not inequitable and it does not shiver is not correct. sent5: there is something such that that it does not refrain peony hold.
sent5 & sent4 -> int1: that the hippoboscid is not inequitable and does not shiver is false.;
the hippoboscid is receptive.
$hypothesis$ = the fact that the hippoboscid is not receptive is true. ; $context$ = sent1: the hippoboscid is receptive if it does not refrain peony and is inequitable. sent2: the fact that the hippoboscid is not inequitable but it shivers is not true if there exists something such that it does not refrain peony. sent3: the sprayer is not a Manannan if it does quarantine. sent4: if something does not refrain peony then that the hippoboscid is not inequitable and it does not shiver is not correct. sent5: there is something such that that it does not refrain peony hold. ; $proof$ = 
sent5 & sent4 -> int1: that the hippoboscid is not inequitable and does not shiver is false.; __UNKNOWN__