that the medusa does not spoof antipodal but it is a kind of an eighty is not right.
sent1: the fact that the medusa does not spoof antipodal but it is a kind of an eighty is incorrect if the matelote is not attractive. sent2: there exists something such that it is a nimbus. sent3: the medusa is not a bow but a fountainhead. sent4: the medusa is not heavenly if that it is not a nimbus and it does spoof intermezzo is wrong. sent5: the medusa does spoof overmantel. sent6: the medusa is an eighty if there is something such that it is a nimbus. sent7: the matzo is not an environmentalist and is Athenian. sent8: the Madeiras is not a nimbus if the fact that the dancing-master is not a snicker but it does reciprocate paynim does not hold. sent9: that the paynim does dandle Dhahran and it is attractive is incorrect if the proline is not a nimbus. sent10: the medusa is not attractive if that it does not spoof antipodal and is a kind of a fountainhead is incorrect. sent11: the dovetail is a fountainhead. sent12: the medusa is an eighty if there exists something such that the fact that it dandles Dhahran is right. sent13: the medusa is attractive but it does not dandle Dhahran. sent14: something is a fountainhead if the fact that it is an eighty and it is not attractive is incorrect. sent15: the fact that the medusa is not biologistic and does appear is false. sent16: if the Madeiras is not a nimbus and it is not explicable then the proline is not a nimbus. sent17: that something does not snicker and does reciprocate paynim does not hold if it is not Athenian. sent18: the dancing-master is not a Athenian if the matzo is not a kind of an environmentalist and is a kind of a Athenian.
void -> assump1: Let's assume that that the medusa does not spoof antipodal but it is a kind of a fountainhead does not hold.; sent10 & assump1 -> int1: the medusa is not attractive.; sent13 -> int2: the medusa is attractive.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the medusa does not spoof antipodal and is a kind of a fountainhead.; int4 -> int5: the medusa does not spoof antipodal.; sent2 & sent6 -> int6: that the medusa is an eighty is correct.; int5 & int6 -> hypothesis;
the paynim is a kind of a fountainhead.
sent14 -> int7: the paynim is a fountainhead if the fact that it is an eighty and it is not attractive is incorrect.;
$hypothesis$ = that the medusa does not spoof antipodal but it is a kind of an eighty is not right. ; $context$ = sent1: the fact that the medusa does not spoof antipodal but it is a kind of an eighty is incorrect if the matelote is not attractive. sent2: there exists something such that it is a nimbus. sent3: the medusa is not a bow but a fountainhead. sent4: the medusa is not heavenly if that it is not a nimbus and it does spoof intermezzo is wrong. sent5: the medusa does spoof overmantel. sent6: the medusa is an eighty if there is something such that it is a nimbus. sent7: the matzo is not an environmentalist and is Athenian. sent8: the Madeiras is not a nimbus if the fact that the dancing-master is not a snicker but it does reciprocate paynim does not hold. sent9: that the paynim does dandle Dhahran and it is attractive is incorrect if the proline is not a nimbus. sent10: the medusa is not attractive if that it does not spoof antipodal and is a kind of a fountainhead is incorrect. sent11: the dovetail is a fountainhead. sent12: the medusa is an eighty if there exists something such that the fact that it dandles Dhahran is right. sent13: the medusa is attractive but it does not dandle Dhahran. sent14: something is a fountainhead if the fact that it is an eighty and it is not attractive is incorrect. sent15: the fact that the medusa is not biologistic and does appear is false. sent16: if the Madeiras is not a nimbus and it is not explicable then the proline is not a nimbus. sent17: that something does not snicker and does reciprocate paynim does not hold if it is not Athenian. sent18: the dancing-master is not a Athenian if the matzo is not a kind of an environmentalist and is a kind of a Athenian. ; $proof$ = 
void -> assump1: Let's assume that that the medusa does not spoof antipodal but it is a kind of a fountainhead does not hold.; sent10 & assump1 -> int1: the medusa is not attractive.; sent13 -> int2: the medusa is attractive.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the medusa does not spoof antipodal and is a kind of a fountainhead.; int4 -> int5: the medusa does not spoof antipodal.; sent2 & sent6 -> int6: that the medusa is an eighty is correct.; int5 & int6 -> hypothesis; __DISPROVED__