the fact that the life is collegial is true.
sent1: if something is a burst then it is not a sauce-alone and not imperfect. sent2: the death is not a kind of a burst if the branchlet is both not a die and not a like. sent3: if that that the branchlet is not a die and does not like is not correct hold then it is not a kind of a sauce-alone. sent4: if the chopstick is not Eurocentric but it does burst it is not imperfect. sent5: if the fact that the branchlet is both not a like and not imperfect does not hold then it does not green chopstick. sent6: if the fact that the chopstick is not a sauce-alone hold then that the branchlet is a kind of rhythmical thing that does not green chopstick does not hold. sent7: the branchlet is not collegial. sent8: the chopstick is rhythmical and is not imperfect if the branchlet is not a sauce-alone. sent9: the chopstick is a kind of a sauce-alone. sent10: the chopstick is not imperfect. sent11: the fact that the chopstick is a kind of rhythmical thing that is not imperfect is false if there exists something such that it is egoistic. sent12: if there is something such that the fact that it is egoistic is not incorrect then that the fact that the chopstick is rhythmical and it is imperfect is false hold. sent13: the life is imperfect. sent14: that the irredentist does culture dissent is correct. sent15: the irredentist is egoistic. sent16: if the death is not a burst and is collegial the chopstick burst. sent17: if the fact that something is rhythmical and it is collegial is not right then that it is not collegial hold. sent18: if something does green chopstick it is collegial.
void -> assump1: Let's assume that that the branchlet is not a die and it is not a like does not hold.; sent3 & assump1 -> int1: the branchlet is not a sauce-alone.; int1 & sent8 -> int2: the chopstick is rhythmical thing that is not imperfect.; sent15 -> int3: there exists something such that it is egoistic.; int3 & sent11 -> int4: the fact that the chopstick is rhythmical and is perfect does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the branchlet is not a kind of a die and is not a like.; int6 & sent2 -> int7: the death is not a burst.; sent18 -> int8: if that the life does green chopstick hold it is collegial.;
the irredentist greens chopstick.
sent1 -> int9: if the chopstick bursts then it is not a sauce-alone and it is not imperfect.;
$hypothesis$ = the fact that the life is collegial is true. ; $context$ = sent1: if something is a burst then it is not a sauce-alone and not imperfect. sent2: the death is not a kind of a burst if the branchlet is both not a die and not a like. sent3: if that that the branchlet is not a die and does not like is not correct hold then it is not a kind of a sauce-alone. sent4: if the chopstick is not Eurocentric but it does burst it is not imperfect. sent5: if the fact that the branchlet is both not a like and not imperfect does not hold then it does not green chopstick. sent6: if the fact that the chopstick is not a sauce-alone hold then that the branchlet is a kind of rhythmical thing that does not green chopstick does not hold. sent7: the branchlet is not collegial. sent8: the chopstick is rhythmical and is not imperfect if the branchlet is not a sauce-alone. sent9: the chopstick is a kind of a sauce-alone. sent10: the chopstick is not imperfect. sent11: the fact that the chopstick is a kind of rhythmical thing that is not imperfect is false if there exists something such that it is egoistic. sent12: if there is something such that the fact that it is egoistic is not incorrect then that the fact that the chopstick is rhythmical and it is imperfect is false hold. sent13: the life is imperfect. sent14: that the irredentist does culture dissent is correct. sent15: the irredentist is egoistic. sent16: if the death is not a burst and is collegial the chopstick burst. sent17: if the fact that something is rhythmical and it is collegial is not right then that it is not collegial hold. sent18: if something does green chopstick it is collegial. ; $proof$ = 
void -> assump1: Let's assume that that the branchlet is not a die and it is not a like does not hold.; sent3 & assump1 -> int1: the branchlet is not a sauce-alone.; int1 & sent8 -> int2: the chopstick is rhythmical thing that is not imperfect.; sent15 -> int3: there exists something such that it is egoistic.; int3 & sent11 -> int4: the fact that the chopstick is rhythmical and is perfect does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the branchlet is not a kind of a die and is not a like.; int6 & sent2 -> int7: the death is not a burst.; sent18 -> int8: if that the life does green chopstick hold it is collegial.; __UNKNOWN__