that the yuppie prioritizes mollycoddle and is abundant does not hold.
sent1: the caspase is sternal if it is not a kind of a Capitol. sent2: if the caspase is not sternal the popgun does prioritize mollycoddle and it excels Nelson. sent3: if the potoroo excels Nelson then that it is yogistic and is sternal is incorrect. sent4: the potoroo is not finite. sent5: the Nicaraguan is a fragment and is yogistic. sent6: if the caspase is non-sternal then the potoroo is a kind of abundant thing that is non-sternal. sent7: that the potoroo is yogistic but it is not sternal is not incorrect if the caspase is sternal. sent8: the caspase is sternal if that it is a Capitol that is not abundant does not hold. sent9: the caspase prioritizes mollycoddle if that it is a kind of a Capitol and it is non-abundant is false. sent10: the potoroo excels Nelson and it does prioritize soloist. sent11: if the fact that the caspase is not abundant is not false the yuppie prioritizes mollycoddle and it is abundant. sent12: that something is yogistic and it is sternal is not correct if it does excel Nelson. sent13: the fact that the potoroo is both not non-yogistic and not non-sternal does not hold. sent14: the fact that the potoroo is abundant but it does not excel Nelson is not correct if it is a Capitol. sent15: the fact that the yuppie does prioritize mollycoddle and it is abundant does not hold if the fact that the caspase does not excel Nelson is true. sent16: the fact that something is yogistic and is not sternal does not hold if it excels Nelson. sent17: the caspase is a Capitol.
void -> assump1: Let's assume that that the caspase is a Capitol and is not abundant is not right.; sent8 & assump1 -> int1: the fact that the caspase is sternal hold.; int1 & sent7 -> int2: the potoroo is yogistic but it is not sternal.; sent16 -> int3: if the potoroo excels Nelson then the fact that it is yogistic and it is not sternal is not true.; sent10 -> int4: the potoroo excels Nelson.; int3 & int4 -> int5: that the potoroo is yogistic and is not sternal is not right.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the caspase is a Capitol but it is not abundant.; int7 -> int8: the caspase is not abundant.; int8 & sent11 -> hypothesis;
the popgun prioritizes mollycoddle.
$hypothesis$ = that the yuppie prioritizes mollycoddle and is abundant does not hold. ; $context$ = sent1: the caspase is sternal if it is not a kind of a Capitol. sent2: if the caspase is not sternal the popgun does prioritize mollycoddle and it excels Nelson. sent3: if the potoroo excels Nelson then that it is yogistic and is sternal is incorrect. sent4: the potoroo is not finite. sent5: the Nicaraguan is a fragment and is yogistic. sent6: if the caspase is non-sternal then the potoroo is a kind of abundant thing that is non-sternal. sent7: that the potoroo is yogistic but it is not sternal is not incorrect if the caspase is sternal. sent8: the caspase is sternal if that it is a Capitol that is not abundant does not hold. sent9: the caspase prioritizes mollycoddle if that it is a kind of a Capitol and it is non-abundant is false. sent10: the potoroo excels Nelson and it does prioritize soloist. sent11: if the fact that the caspase is not abundant is not false the yuppie prioritizes mollycoddle and it is abundant. sent12: that something is yogistic and it is sternal is not correct if it does excel Nelson. sent13: the fact that the potoroo is both not non-yogistic and not non-sternal does not hold. sent14: the fact that the potoroo is abundant but it does not excel Nelson is not correct if it is a Capitol. sent15: the fact that the yuppie does prioritize mollycoddle and it is abundant does not hold if the fact that the caspase does not excel Nelson is true. sent16: the fact that something is yogistic and is not sternal does not hold if it excels Nelson. sent17: the caspase is a Capitol. ; $proof$ = 
void -> assump1: Let's assume that that the caspase is a Capitol and is not abundant is not right.; sent8 & assump1 -> int1: the fact that the caspase is sternal hold.; int1 & sent7 -> int2: the potoroo is yogistic but it is not sternal.; sent16 -> int3: if the potoroo excels Nelson then the fact that it is yogistic and it is not sternal is not true.; sent10 -> int4: the potoroo excels Nelson.; int3 & int4 -> int5: that the potoroo is yogistic and is not sternal is not right.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the caspase is a Capitol but it is not abundant.; int7 -> int8: the caspase is not abundant.; int8 & sent11 -> hypothesis; __DISPROVED__