the gueridon is a kind of a heralded.
sent1: if something is not a grampus and is not a kind of a Spark then it is not a kind of a heralded. sent2: the fact that that the intaglio is eruptive and/or it is not a raftsman does not hold is true. sent3: if the gueridon is a kind of a raftsman it is mercurial. sent4: the fact that the intaglio is a heralded hold if the gueridon is a toadstool. sent5: if the fact that the afterthought is papal and does shutter is right the intaglio is not a toadstool. sent6: that the afterthought is a kind of a Spark and it is a grampus hold. sent7: the pick is a kind of a Shema and is a amatungulu. sent8: that the pick is a heralded hold. sent9: the contemplative is a shutter. sent10: if the gueridon is a heralded and it is a raftsman then the intaglio is not a kind of a toadstool. sent11: the fact that the gueridon is a heralded if the pick is a belle is right. sent12: if that the afterthought is a Armenian is not incorrect the pick is a belle. sent13: the intaglio is a heralded. sent14: the intaglio is a grampus. sent15: something is a shutter if it is a Spark. sent16: the intaglio is a toadstool if that it is eruptive or it is not a raftsman or both does not hold.
sent6 -> int1: the afterthought is a kind of a Spark.; sent15 -> int2: if the afterthought is a Spark then it is a kind of a shutter.; int1 & int2 -> int3: the afterthought is a shutter.; void -> assump1: Let's assume that the afterthought is papal.; int3 & assump1 -> int4: the afterthought is a kind of papal a shutter.; int4 & sent5 -> int5: the intaglio is not a toadstool.; sent16 & sent2 -> int6: the intaglio is a toadstool.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the afterthought is not papal.;
the gueridon is not a heralded.
sent1 -> int9: the gueridon is not a kind of a heralded if it is not a grampus and it is not a kind of a Spark.;
$hypothesis$ = the gueridon is a kind of a heralded. ; $context$ = sent1: if something is not a grampus and is not a kind of a Spark then it is not a kind of a heralded. sent2: the fact that that the intaglio is eruptive and/or it is not a raftsman does not hold is true. sent3: if the gueridon is a kind of a raftsman it is mercurial. sent4: the fact that the intaglio is a heralded hold if the gueridon is a toadstool. sent5: if the fact that the afterthought is papal and does shutter is right the intaglio is not a toadstool. sent6: that the afterthought is a kind of a Spark and it is a grampus hold. sent7: the pick is a kind of a Shema and is a amatungulu. sent8: that the pick is a heralded hold. sent9: the contemplative is a shutter. sent10: if the gueridon is a heralded and it is a raftsman then the intaglio is not a kind of a toadstool. sent11: the fact that the gueridon is a heralded if the pick is a belle is right. sent12: if that the afterthought is a Armenian is not incorrect the pick is a belle. sent13: the intaglio is a heralded. sent14: the intaglio is a grampus. sent15: something is a shutter if it is a Spark. sent16: the intaglio is a toadstool if that it is eruptive or it is not a raftsman or both does not hold. ; $proof$ = 
sent6 -> int1: the afterthought is a kind of a Spark.; sent15 -> int2: if the afterthought is a Spark then it is a kind of a shutter.; int1 & int2 -> int3: the afterthought is a shutter.; void -> assump1: Let's assume that the afterthought is papal.; int3 & assump1 -> int4: the afterthought is a kind of papal a shutter.; int4 & sent5 -> int5: the intaglio is not a toadstool.; sent16 & sent2 -> int6: the intaglio is a toadstool.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the afterthought is not papal.; __UNKNOWN__