the fishpond does not compel spirit.
sent1: something does not compel spirit and scents Offertory if it is not a kind of a polytheism. sent2: the fishpond compels spirit if it runs plaque and is not secretarial. sent3: if the mericarp does not compel spirit and scents Offertory the adulterer compel spirit. sent4: if there exists something such that it is not a polytheism the mericarp does scent Offertory and is a kind of a safe. sent5: the plagioclase does run plaque. sent6: if something is fictional it is pardonable. sent7: there is something such that it is not a polytheism. sent8: if the plagioclase is ungregarious that it is not fictional and it is not secretarial is not right. sent9: the plagioclase is not pardonable if the mericarp scents Offertory and is safe. sent10: if that something is a kind of a polytheism but it is not a safe is false then it is not a polytheism. sent11: if the plagioclase does run plaque the fact that it is ungregarious is true. sent12: a secretarial thing is ungregarious and is not fictional. sent13: the fishpond does run plaque but it is not secretarial if the plaque is ungregarious. sent14: if there is something such that it is not pardonable then the Beguine is not fictional. sent15: the plaque is ungregarious if the Beguine is not fictional. sent16: if there exists something such that that it is not fictional and is not secretarial is false then the mericarp is fictional.
sent7 & sent4 -> int1: the mericarp does scent Offertory and is safe.; int1 & sent9 -> int2: the plagioclase is not pardonable.; int2 -> int3: there is something such that it is not pardonable.; int3 & sent14 -> int4: the Beguine is not fictional.; int4 & sent15 -> int5: the plaque is ungregarious.; int5 & sent13 -> int6: the fishpond runs plaque and is not secretarial.; int6 & sent2 -> hypothesis;
the adulterer does compel spirit.
sent1 -> int7: if the mericarp is not a polytheism then it does not compel spirit and it scents Offertory.; sent10 -> int8: if the fact that the mericarp is a polytheism but it is not safe is not correct it is not a polytheism.; sent6 -> int9: the mericarp is pardonable if it is fictional.; sent11 & sent5 -> int10: the plagioclase is ungregarious.; sent8 & int10 -> int11: that the plagioclase is a kind of nonfictional thing that is not secretarial is not right.; int11 -> int12: there exists something such that that it is not fictional and it is not secretarial does not hold.; int12 & sent16 -> int13: the mericarp is fictional.; int9 & int13 -> int14: the mericarp is pardonable.;
$hypothesis$ = the fishpond does not compel spirit. ; $context$ = sent1: something does not compel spirit and scents Offertory if it is not a kind of a polytheism. sent2: the fishpond compels spirit if it runs plaque and is not secretarial. sent3: if the mericarp does not compel spirit and scents Offertory the adulterer compel spirit. sent4: if there exists something such that it is not a polytheism the mericarp does scent Offertory and is a kind of a safe. sent5: the plagioclase does run plaque. sent6: if something is fictional it is pardonable. sent7: there is something such that it is not a polytheism. sent8: if the plagioclase is ungregarious that it is not fictional and it is not secretarial is not right. sent9: the plagioclase is not pardonable if the mericarp scents Offertory and is safe. sent10: if that something is a kind of a polytheism but it is not a safe is false then it is not a polytheism. sent11: if the plagioclase does run plaque the fact that it is ungregarious is true. sent12: a secretarial thing is ungregarious and is not fictional. sent13: the fishpond does run plaque but it is not secretarial if the plaque is ungregarious. sent14: if there is something such that it is not pardonable then the Beguine is not fictional. sent15: the plaque is ungregarious if the Beguine is not fictional. sent16: if there exists something such that that it is not fictional and is not secretarial is false then the mericarp is fictional. ; $proof$ = 
sent7 & sent4 -> int1: the mericarp does scent Offertory and is safe.; int1 & sent9 -> int2: the plagioclase is not pardonable.; int2 -> int3: there is something such that it is not pardonable.; int3 & sent14 -> int4: the Beguine is not fictional.; int4 & sent15 -> int5: the plaque is ungregarious.; int5 & sent13 -> int6: the fishpond runs plaque and is not secretarial.; int6 & sent2 -> hypothesis; __DISPROVED__