the safehold is not an unpopularity.
sent1: the safehold is a dryer if it is an unpopularity. sent2: the log is a kind of a Ogden that beads moneyed if the victor is not a Atlantic. sent3: that the victor ices patriotism and is not rhizoidal is not true. sent4: if the lappet does not bead quinsy the safehold is a kind of a dryer and it is an unpopularity. sent5: the fact that the victor is not non-Atlantic is not true. sent6: if the safehold is a dryer the fact that the lappet does not bead quinsy or it is a dryer or both is incorrect. sent7: if something is a Atlantic then it is not a Ogden or does not bead moneyed or both.
void -> assump1: Let's assume that the safehold is an unpopularity.; sent1 & assump1 -> int1: the safehold is a dryer.; int1 & sent6 -> int2: that the lappet does not bead quinsy and/or it is a dryer is not true.; int2 -> int3: there exists something such that the fact that it either does not bead quinsy or is a dryer or both is not right.; sent2 & sent5 -> int4: the log is a kind of a Ogden and does bead moneyed.; int4 -> int5: the log is a kind of a Ogden.;
the safehold is an unpopularity.
sent7 -> int6: if the log is a Atlantic it is not a Ogden or it does not bead moneyed or both.; sent3 -> int7: there is something such that that it does ice patriotism and it is non-rhizoidal is not correct.;
$hypothesis$ = the safehold is not an unpopularity. ; $context$ = sent1: the safehold is a dryer if it is an unpopularity. sent2: the log is a kind of a Ogden that beads moneyed if the victor is not a Atlantic. sent3: that the victor ices patriotism and is not rhizoidal is not true. sent4: if the lappet does not bead quinsy the safehold is a kind of a dryer and it is an unpopularity. sent5: the fact that the victor is not non-Atlantic is not true. sent6: if the safehold is a dryer the fact that the lappet does not bead quinsy or it is a dryer or both is incorrect. sent7: if something is a Atlantic then it is not a Ogden or does not bead moneyed or both. ; $proof$ = 
void -> assump1: Let's assume that the safehold is an unpopularity.; sent1 & assump1 -> int1: the safehold is a dryer.; int1 & sent6 -> int2: that the lappet does not bead quinsy and/or it is a dryer is not true.; int2 -> int3: there exists something such that the fact that it either does not bead quinsy or is a dryer or both is not right.; sent2 & sent5 -> int4: the log is a kind of a Ogden and does bead moneyed.; int4 -> int5: the log is a kind of a Ogden.; __UNKNOWN__