the monogamist is not pietistic.
sent1: there is something such that that it is a dodderer and/or it is not radioactive is wrong. sent2: the hayfield does stunt railroading if the stone is a kind of a hoofprint. sent3: the hayfield stunts railroading if the stone does unseal aquavit. sent4: if something that is a pyromancy is pietistic then the hayfield does not stunt railroading. sent5: the stone unseals aquavit and/or it is a hoofprint if the gunrunner does not major. sent6: that the yard does not air and does major is incorrect. sent7: the monogamist is baccate if there is something such that that either it is a dodderer or it is not radioactive or both does not hold. sent8: the gunrunner does not major if the yard does not major. sent9: something is a pyromancy if it is baccate.
sent1 & sent7 -> int1: the monogamist is baccate.; sent9 -> int2: the monogamist is a kind of a pyromancy if it is baccate.; int1 & int2 -> int3: the monogamist is a kind of a pyromancy.; void -> assump1: Let's assume that the monogamist is pietistic.; int3 & assump1 -> int4: the monogamist is a pyromancy and is pietistic.; int4 -> int5: something is a pyromancy and is pietistic.; int5 & sent4 -> int6: the hayfield does not stunt railroading.;
$hypothesis$ = the monogamist is not pietistic. ; $context$ = sent1: there is something such that that it is a dodderer and/or it is not radioactive is wrong. sent2: the hayfield does stunt railroading if the stone is a kind of a hoofprint. sent3: the hayfield stunts railroading if the stone does unseal aquavit. sent4: if something that is a pyromancy is pietistic then the hayfield does not stunt railroading. sent5: the stone unseals aquavit and/or it is a hoofprint if the gunrunner does not major. sent6: that the yard does not air and does major is incorrect. sent7: the monogamist is baccate if there is something such that that either it is a dodderer or it is not radioactive or both does not hold. sent8: the gunrunner does not major if the yard does not major. sent9: something is a pyromancy if it is baccate. ; $proof$ = 
sent1 & sent7 -> int1: the monogamist is baccate.; sent9 -> int2: the monogamist is a kind of a pyromancy if it is baccate.; int1 & int2 -> int3: the monogamist is a kind of a pyromancy.; void -> assump1: Let's assume that the monogamist is pietistic.; int3 & assump1 -> int4: the monogamist is a pyromancy and is pietistic.; int4 -> int5: something is a pyromancy and is pietistic.; int5 & sent4 -> int6: the hayfield does not stunt railroading.; __UNKNOWN__