the Johnny-jump-up is decisive.
sent1: that the Johnny-jump-up is decisive is not incorrect if the hydroelectricity does not compile. sent2: the Johnny-jump-up does not diffuse inpatient. sent3: the cul is a kind of a Maldon or it is a Paraguayan or both. sent4: if the linendraper is not a pilgrim and compiles the Johnny-jump-up is not a pilgrim. sent5: the fact that the cul is both a clairvoyant and a flank is false. sent6: that something is planar but not instrumental is wrong if it is not Ghanaian. sent7: the fact that the cul does investigate viand and does not suit is not correct. sent8: the cul is not a pilgrim if that the linendraper does diffuse inpatient and does not yell is wrong. sent9: the fact that the hydroelectricity does not investigate etodolac but it does investigate viand is wrong. sent10: the linendraper compiles if it is a kind of a Paraguayan. sent11: if the cul is a kind of a Maldon or it is a Paraguayan or both it is not Ghanaian. sent12: the fact that the linendraper diffuses inpatient and does yell is incorrect. sent13: the fact that the linendraper does diffuse inpatient but it does not yell is not correct. sent14: if that something is not a Maldon and is not decisive is not right then it is not a pilgrim. sent15: the inpatient is not a Paraguayan. sent16: that the Johnny-jump-up is a kind of a pilgrim that is decisive is false if the linendraper is not Ghanaian. sent17: that the cul is a kind of psychomotor thing that is a kind of a Maldon is wrong if the hydroelectricity is not Paraguayan. sent18: the linendraper is a Paraguayan and it is a Nashville if something does investigate etodolac. sent19: if the fact that something does not investigate etodolac but it does investigate viand is not true it investigate etodolac. sent20: the cul is not Ghanaian if it is Paraguayan. sent21: if the inpatient is not a Paraguayan then the hydroelectricity is not a Paraguayan. sent22: something is non-psychomotor if that it is both a clairvoyant and a flank is not correct. sent23: the fact that the linendraper is not a kind of a Maldon and is not decisive is not correct if the cul is not psychomotor. sent24: if the cul is not a pilgrim and is not Ghanaian the hydroelectricity does not compile. sent25: the cul is not a pilgrim if the fact that the linendraper does yell is true.
sent8 & sent13 -> int1: the cul is not a kind of a pilgrim.; sent11 & sent3 -> int2: the cul is not Ghanaian.; int1 & int2 -> int3: the cul is both not a pilgrim and not Ghanaian.; int3 & sent24 -> int4: the hydroelectricity does not compile.; int4 & sent1 -> hypothesis;
the fact that the Johnny-jump-up is both planar and not instrumental does not hold.
sent6 -> int5: if the Johnny-jump-up is not Ghanaian that it is planar and it is not instrumental is not correct.; sent14 -> int6: if the fact that the linendraper is not a kind of a Maldon and it is not decisive is not right the fact that it is not a kind of a pilgrim hold.; sent22 -> int7: if the fact that the cul is a clairvoyant and it is a flank is not correct it is not psychomotor.; int7 & sent5 -> int8: the cul is not psychomotor.; sent23 & int8 -> int9: that the linendraper is not a Maldon and it is not decisive is wrong.; int6 & int9 -> int10: the linendraper is not a kind of a pilgrim.; sent19 -> int11: the hydroelectricity does investigate etodolac if the fact that it does not investigate etodolac and investigates viand is false.; int11 & sent9 -> int12: the hydroelectricity investigates etodolac.; int12 -> int13: something investigates etodolac.; int13 & sent18 -> int14: the linendraper is a kind of a Paraguayan and it is a Nashville.; int14 -> int15: the linendraper is a kind of a Paraguayan.; sent10 & int15 -> int16: the linendraper compiles.; int10 & int16 -> int17: the linendraper is not a pilgrim and does compile.; sent4 & int17 -> int18: the Johnny-jump-up is not a pilgrim.;
$hypothesis$ = the Johnny-jump-up is decisive. ; $context$ = sent1: that the Johnny-jump-up is decisive is not incorrect if the hydroelectricity does not compile. sent2: the Johnny-jump-up does not diffuse inpatient. sent3: the cul is a kind of a Maldon or it is a Paraguayan or both. sent4: if the linendraper is not a pilgrim and compiles the Johnny-jump-up is not a pilgrim. sent5: the fact that the cul is both a clairvoyant and a flank is false. sent6: that something is planar but not instrumental is wrong if it is not Ghanaian. sent7: the fact that the cul does investigate viand and does not suit is not correct. sent8: the cul is not a pilgrim if that the linendraper does diffuse inpatient and does not yell is wrong. sent9: the fact that the hydroelectricity does not investigate etodolac but it does investigate viand is wrong. sent10: the linendraper compiles if it is a kind of a Paraguayan. sent11: if the cul is a kind of a Maldon or it is a Paraguayan or both it is not Ghanaian. sent12: the fact that the linendraper diffuses inpatient and does yell is incorrect. sent13: the fact that the linendraper does diffuse inpatient but it does not yell is not correct. sent14: if that something is not a Maldon and is not decisive is not right then it is not a pilgrim. sent15: the inpatient is not a Paraguayan. sent16: that the Johnny-jump-up is a kind of a pilgrim that is decisive is false if the linendraper is not Ghanaian. sent17: that the cul is a kind of psychomotor thing that is a kind of a Maldon is wrong if the hydroelectricity is not Paraguayan. sent18: the linendraper is a Paraguayan and it is a Nashville if something does investigate etodolac. sent19: if the fact that something does not investigate etodolac but it does investigate viand is not true it investigate etodolac. sent20: the cul is not Ghanaian if it is Paraguayan. sent21: if the inpatient is not a Paraguayan then the hydroelectricity is not a Paraguayan. sent22: something is non-psychomotor if that it is both a clairvoyant and a flank is not correct. sent23: the fact that the linendraper is not a kind of a Maldon and is not decisive is not correct if the cul is not psychomotor. sent24: if the cul is not a pilgrim and is not Ghanaian the hydroelectricity does not compile. sent25: the cul is not a pilgrim if the fact that the linendraper does yell is true. ; $proof$ = 
sent8 & sent13 -> int1: the cul is not a kind of a pilgrim.; sent11 & sent3 -> int2: the cul is not Ghanaian.; int1 & int2 -> int3: the cul is both not a pilgrim and not Ghanaian.; int3 & sent24 -> int4: the hydroelectricity does not compile.; int4 & sent1 -> hypothesis; __PROVED__