that the Luddite is civil is true.
sent1: the Luddite is crural. sent2: the carotenoid is ample and/or it is hemodynamic if it does not crop lecturer. sent3: if the fact that the antique is not indeterminate and it does not crop lecturer is not wrong then the Luddite is not civil. sent4: something bullshits conservatism if it is a packaged and is not phosphorous. sent5: something is a tanglebush. sent6: the antique is not ample. sent7: something is either ample or not hemodynamic or both if it does not crop lecturer. sent8: the draft crops hippocampus and it is a tanglebush. sent9: the fact that the antique is not indeterminate if there is something such that it is not hemodynamic is true. sent10: the antique does not crop vanadate and it is not aeriferous. sent11: if that the carotenoid crops lecturer is right the Luddite is not Jungian. sent12: the antique is not indeterminate if either something is ample or it is not hemodynamic or both. sent13: the antique is indeterminate if it does not crop vanadate. sent14: if that something is not a tanglebush and/or it does crop vanadate is not true then it is not civil. sent15: the draft is a tanglebush. sent16: if the antique is a sloe and is not a Jungian then the fact that the mower is not indeterminate is not false. sent17: if there is something such that it crops hippocampus and it is a tanglebush that the Luddite is a sloe is correct. sent18: the draft is not ample. sent19: if something does not crop lecturer it is ample and/or is hemodynamic. sent20: the carotenoid is ample and/or it is hemodynamic. sent21: there is something such that it does crop hippocampus. sent22: something is ample and/or hemodynamic. sent23: a determinate thing does crop hippocampus and does crop lecturer. sent24: the antique is not aeriferous. sent25: if there exists something such that it is not civil the antique is a sloe but not a Jungian.
sent7 -> int1: if the carotenoid does not crop lecturer then either it is ample or it is not hemodynamic or both.; void -> assump1: Let's assume that that the carotenoid does not crop lecturer is not wrong.; int1 & assump1 -> int2: the carotenoid is ample or it is not hemodynamic or both.; int2 -> int3: there exists something such that it is ample or it is not hemodynamic or both.; int3 & sent12 -> int4: the antique is not indeterminate.; sent10 -> int5: the antique does not crop vanadate.; sent13 & int5 -> int6: the antique is indeterminate.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the carotenoid does crop lecturer.; int8 & sent11 -> int9: the Luddite is not Jungian.; sent8 -> int10: there exists something such that it crops hippocampus and is a tanglebush.; int10 & sent17 -> int11: the Luddite is a sloe.; int9 & int11 -> int12: the Luddite is a kind of a sloe and is not Jungian.;
the mower does crop hippocampus.
sent23 -> int13: if the mower is not indeterminate that it does crop hippocampus and it does crop lecturer is correct.; sent14 -> int14: if that the draft is not a tanglebush and/or crops vanadate is false it is not civil.;
$hypothesis$ = that the Luddite is civil is true. ; $context$ = sent1: the Luddite is crural. sent2: the carotenoid is ample and/or it is hemodynamic if it does not crop lecturer. sent3: if the fact that the antique is not indeterminate and it does not crop lecturer is not wrong then the Luddite is not civil. sent4: something bullshits conservatism if it is a packaged and is not phosphorous. sent5: something is a tanglebush. sent6: the antique is not ample. sent7: something is either ample or not hemodynamic or both if it does not crop lecturer. sent8: the draft crops hippocampus and it is a tanglebush. sent9: the fact that the antique is not indeterminate if there is something such that it is not hemodynamic is true. sent10: the antique does not crop vanadate and it is not aeriferous. sent11: if that the carotenoid crops lecturer is right the Luddite is not Jungian. sent12: the antique is not indeterminate if either something is ample or it is not hemodynamic or both. sent13: the antique is indeterminate if it does not crop vanadate. sent14: if that something is not a tanglebush and/or it does crop vanadate is not true then it is not civil. sent15: the draft is a tanglebush. sent16: if the antique is a sloe and is not a Jungian then the fact that the mower is not indeterminate is not false. sent17: if there is something such that it crops hippocampus and it is a tanglebush that the Luddite is a sloe is correct. sent18: the draft is not ample. sent19: if something does not crop lecturer it is ample and/or is hemodynamic. sent20: the carotenoid is ample and/or it is hemodynamic. sent21: there is something such that it does crop hippocampus. sent22: something is ample and/or hemodynamic. sent23: a determinate thing does crop hippocampus and does crop lecturer. sent24: the antique is not aeriferous. sent25: if there exists something such that it is not civil the antique is a sloe but not a Jungian. ; $proof$ = 
sent7 -> int1: if the carotenoid does not crop lecturer then either it is ample or it is not hemodynamic or both.; void -> assump1: Let's assume that that the carotenoid does not crop lecturer is not wrong.; int1 & assump1 -> int2: the carotenoid is ample or it is not hemodynamic or both.; int2 -> int3: there exists something such that it is ample or it is not hemodynamic or both.; int3 & sent12 -> int4: the antique is not indeterminate.; sent10 -> int5: the antique does not crop vanadate.; sent13 & int5 -> int6: the antique is indeterminate.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the carotenoid does crop lecturer.; int8 & sent11 -> int9: the Luddite is not Jungian.; sent8 -> int10: there exists something such that it crops hippocampus and is a tanglebush.; int10 & sent17 -> int11: the Luddite is a sloe.; int9 & int11 -> int12: the Luddite is a kind of a sloe and is not Jungian.; __UNKNOWN__