the still is utopian.
sent1: the mind wrestles h and is a kind of a Merlot. sent2: if the pichi is not a record-breaker but it is a Catharanthus the still is a germanite. sent3: if the re is anemometric then the cephalochordate is a forte. sent4: the fact that the pichi does not reproduce is right. sent5: if that the pichi is a Catharanthus is true then it is a sourness. sent6: the re is anemometric or is a kind of a forte or both. sent7: the still is not utopian if the pithead does not reproduce and is not utopian. sent8: the pichi is a record-breaker if it is a kind of a germanite. sent9: if there exists something such that the fact that it does not grumble tolazoline and it is not negligent is not correct the cephalochordate is negligent. sent10: if the pichi is not a record-breaker but a germanite the still is a kind of a Catharanthus. sent11: that something does not grumble tolazoline and is not negligent is not correct if it does wrestle h. sent12: the cephalochordate is a kind of a forte if the re is a kind of a forte. sent13: if that something is not a record-breaker but it is a kind of a Catharanthus is wrong it is a tellurian. sent14: if something does not reproduce then the fact that the still is both not a tobacco and a beacon is not right. sent15: if the still is a tellurian and is a record-breaker the pichi is a germanite. sent16: the pithead does not reproduce if a germanite is a kind of a tellurian. sent17: if the pichi is a kind of a tellurian then it does reproduce. sent18: the pichi is both not a record-breaker and utopian. sent19: something is a kind of a tellurian if it is a kind of a record-breaker. sent20: if something that is negligent is forte then it is not utopian. sent21: that the bock is a kind of non-predestinarian thing that does grumble graduation is incorrect.
sent13 -> int1: if the fact that the pichi is not a record-breaker but it is a Catharanthus does not hold it is a tellurian.; void -> assump1: Let's assume that that the pichi is not a record-breaker but it is a kind of a Catharanthus is not correct.; int1 & assump1 -> int2: the pichi is a tellurian.; int2 & sent17 -> int3: the pichi does reproduce.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pichi is not a record-breaker but it is a Catharanthus.; int5 & sent2 -> int6: the still is a germanite.;
the still is not utopian.
$hypothesis$ = the still is utopian. ; $context$ = sent1: the mind wrestles h and is a kind of a Merlot. sent2: if the pichi is not a record-breaker but it is a Catharanthus the still is a germanite. sent3: if the re is anemometric then the cephalochordate is a forte. sent4: the fact that the pichi does not reproduce is right. sent5: if that the pichi is a Catharanthus is true then it is a sourness. sent6: the re is anemometric or is a kind of a forte or both. sent7: the still is not utopian if the pithead does not reproduce and is not utopian. sent8: the pichi is a record-breaker if it is a kind of a germanite. sent9: if there exists something such that the fact that it does not grumble tolazoline and it is not negligent is not correct the cephalochordate is negligent. sent10: if the pichi is not a record-breaker but a germanite the still is a kind of a Catharanthus. sent11: that something does not grumble tolazoline and is not negligent is not correct if it does wrestle h. sent12: the cephalochordate is a kind of a forte if the re is a kind of a forte. sent13: if that something is not a record-breaker but it is a kind of a Catharanthus is wrong it is a tellurian. sent14: if something does not reproduce then the fact that the still is both not a tobacco and a beacon is not right. sent15: if the still is a tellurian and is a record-breaker the pichi is a germanite. sent16: the pithead does not reproduce if a germanite is a kind of a tellurian. sent17: if the pichi is a kind of a tellurian then it does reproduce. sent18: the pichi is both not a record-breaker and utopian. sent19: something is a kind of a tellurian if it is a kind of a record-breaker. sent20: if something that is negligent is forte then it is not utopian. sent21: that the bock is a kind of non-predestinarian thing that does grumble graduation is incorrect. ; $proof$ = 
sent13 -> int1: if the fact that the pichi is not a record-breaker but it is a Catharanthus does not hold it is a tellurian.; void -> assump1: Let's assume that that the pichi is not a record-breaker but it is a kind of a Catharanthus is not correct.; int1 & assump1 -> int2: the pichi is a tellurian.; int2 & sent17 -> int3: the pichi does reproduce.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the pichi is not a record-breaker but it is a Catharanthus.; int5 & sent2 -> int6: the still is a germanite.; __UNKNOWN__