if the relief is a wine the Jeffersonian does recalcitrate.
sent1: the Jeffersonian is a plexus if the relief recalcitrates. sent2: that the relief is a kind of a plexus hold if it is a kind of a wine. sent3: if the Jeffersonian is a plexus the relief does recalcitrate. sent4: the Jeffersonian wines if the relief does recalcitrate. sent5: the relief is a put-down if it is a shareware. sent6: if the Jeffersonian recalcitrates then it is a plexus. sent7: the relief does recalcitrate. sent8: the Jeffersonian recalcitrates if the fact that the relief is a plexus is correct. sent9: the Jeffersonian is a wine. sent10: if that the relief does recalcitrate is right the fact that it is a kind of a volatile is not incorrect. sent11: if the relief fits it is a wine. sent12: the relief does tinge. sent13: the Jeffersonian protuberates win. sent14: the Jeffersonian is a god.
void -> assump1: Let's assume that the relief is a kind of a wine.; sent2 & assump1 -> int1: the relief is a plexus.; sent8 & int1 -> int2: the Jeffersonian does recalcitrate.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the relief is a wine the Jeffersonian does recalcitrate. ; $context$ = sent1: the Jeffersonian is a plexus if the relief recalcitrates. sent2: that the relief is a kind of a plexus hold if it is a kind of a wine. sent3: if the Jeffersonian is a plexus the relief does recalcitrate. sent4: the Jeffersonian wines if the relief does recalcitrate. sent5: the relief is a put-down if it is a shareware. sent6: if the Jeffersonian recalcitrates then it is a plexus. sent7: the relief does recalcitrate. sent8: the Jeffersonian recalcitrates if the fact that the relief is a plexus is correct. sent9: the Jeffersonian is a wine. sent10: if that the relief does recalcitrate is right the fact that it is a kind of a volatile is not incorrect. sent11: if the relief fits it is a wine. sent12: the relief does tinge. sent13: the Jeffersonian protuberates win. sent14: the Jeffersonian is a god. ; $proof$ = 
void -> assump1: Let's assume that the relief is a kind of a wine.; sent2 & assump1 -> int1: the relief is a plexus.; sent8 & int1 -> int2: the Jeffersonian does recalcitrate.; [assump1] & int2 -> hypothesis; __PROVED__