the phalanx is field-crop or does vesiculate or both.
sent1: the trailer is not immortal and it is not calceolate if it horripilates deliveryman. sent2: if the splinter reposits visit the trailer reposits visit. sent3: the columbarium is not a orphrey if the trailer is non-immortal thing that is not calceolate. sent4: the columbarium does not reposit visit if the fact that it is not a bumf and is a Castile is incorrect. sent5: something is not a bumf. sent6: if something is not a orphrey then the fact that it is a kind of a Muscovy that occidentalizes monition is not correct. sent7: if something is not an immortal that the deliveryman is a kind of a orphrey but it does not occidentalize monition is not right. sent8: the trailer does horripilate deliveryman. sent9: the columbarium is not a kind of a bumf. sent10: something that does not reposit visit is a apposition and is an overgrowth. sent11: if that the columbarium is a Muscovy and/or it does occidentalize monition is not true then it does reposit visit. sent12: the trailer is an overgrowth if something that is not a bumf is a Castile. sent13: if the fact that something is a Muscovy and occidentalizes monition is not true it is not field-crop. sent14: if the columbarium does not reposit visit and does not vesiculate the creditor does not reposit visit. sent15: something is a bumf and it is a Castile. sent16: the fact that the columbarium is a kind of an overgrowth if that the trailer reposits visit hold hold. sent17: there exists something such that it is a kind of a Castile. sent18: if there exists something such that the fact that it is a orphrey and does not occidentalize monition is not right then the splinter is not a Muscovy. sent19: the fact that that the columbarium is not a kind of a Muscovy or it does occidentalize monition or both is not wrong is not true. sent20: something is not an immortal. sent21: if the columbarium occidentalizes monition then the phalanx is a Muscovy. sent22: if the trailer is a kind of an overgrowth that the phalanx is a apposition hold. sent23: the fact that the phalanx does not occidentalize monition and vesiculates is false. sent24: that the columbarium does reposit visit if that the columbarium is not a Muscovy and/or it does occidentalize monition is incorrect is true.
void -> assump1: Let's assume that that the columbarium is not a bumf but it is a Castile does not hold.; sent4 & assump1 -> int1: the columbarium does not reposit visit.; sent24 & sent19 -> int2: the columbarium reposits visit.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the columbarium is not a bumf but it is a Castile.; int4 -> int5: something is not a bumf and is a Castile.; int5 & sent12 -> int6: the trailer is a kind of an overgrowth.; int6 & sent22 -> int7: the phalanx is a apposition.;
the fact that the phalanx is field-crop or it vesiculates or both is not true.
sent20 & sent7 -> int8: the fact that the deliveryman is a kind of a orphrey and does not occidentalize monition is not true.; int8 -> int9: there is something such that the fact that that it is a orphrey and does not occidentalize monition is true is incorrect.; int9 & sent18 -> int10: the splinter is not a Muscovy.;
$hypothesis$ = the phalanx is field-crop or does vesiculate or both. ; $context$ = sent1: the trailer is not immortal and it is not calceolate if it horripilates deliveryman. sent2: if the splinter reposits visit the trailer reposits visit. sent3: the columbarium is not a orphrey if the trailer is non-immortal thing that is not calceolate. sent4: the columbarium does not reposit visit if the fact that it is not a bumf and is a Castile is incorrect. sent5: something is not a bumf. sent6: if something is not a orphrey then the fact that it is a kind of a Muscovy that occidentalizes monition is not correct. sent7: if something is not an immortal that the deliveryman is a kind of a orphrey but it does not occidentalize monition is not right. sent8: the trailer does horripilate deliveryman. sent9: the columbarium is not a kind of a bumf. sent10: something that does not reposit visit is a apposition and is an overgrowth. sent11: if that the columbarium is a Muscovy and/or it does occidentalize monition is not true then it does reposit visit. sent12: the trailer is an overgrowth if something that is not a bumf is a Castile. sent13: if the fact that something is a Muscovy and occidentalizes monition is not true it is not field-crop. sent14: if the columbarium does not reposit visit and does not vesiculate the creditor does not reposit visit. sent15: something is a bumf and it is a Castile. sent16: the fact that the columbarium is a kind of an overgrowth if that the trailer reposits visit hold hold. sent17: there exists something such that it is a kind of a Castile. sent18: if there exists something such that the fact that it is a orphrey and does not occidentalize monition is not right then the splinter is not a Muscovy. sent19: the fact that that the columbarium is not a kind of a Muscovy or it does occidentalize monition or both is not wrong is not true. sent20: something is not an immortal. sent21: if the columbarium occidentalizes monition then the phalanx is a Muscovy. sent22: if the trailer is a kind of an overgrowth that the phalanx is a apposition hold. sent23: the fact that the phalanx does not occidentalize monition and vesiculates is false. sent24: that the columbarium does reposit visit if that the columbarium is not a Muscovy and/or it does occidentalize monition is incorrect is true. ; $proof$ = 
void -> assump1: Let's assume that that the columbarium is not a bumf but it is a Castile does not hold.; sent4 & assump1 -> int1: the columbarium does not reposit visit.; sent24 & sent19 -> int2: the columbarium reposits visit.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the columbarium is not a bumf but it is a Castile.; int4 -> int5: something is not a bumf and is a Castile.; int5 & sent12 -> int6: the trailer is a kind of an overgrowth.; int6 & sent22 -> int7: the phalanx is a apposition.; __UNKNOWN__