the Triton is both neurophysiological and not a conferee.
sent1: the cinquefoil is non-centripetal if it is not a conferee and it is not a Optez. sent2: if the windward is both not a kid and not a urinal it is not a conferee. sent3: if the Javanthropus is non-neurophysiological then the fact that the Triton is unsatisfactory is not incorrect. sent4: the Triton is not a dachshund. sent5: the Javanthropus is not neurophysiological if that the Triton is neurophysiological hold. sent6: the Triton is neurophysiological but not centripetal if the wits is centripetal. sent7: if the wits is both not a kid and a Optez then it is not a conferee. sent8: the steeplechaser is a urinal that does not varnish permeation. sent9: the fact that the windward does varnish gravimeter but it is not a Optez is not wrong. sent10: if the cinquefoil is a conferee then the Triton is neurophysiological thing that is not a kind of a conferee. sent11: the wits is both not a Optez and not centripetal. sent12: the windward does not kid if the wits is a conferee. sent13: the windward is a conferee if the Javanthropus is not a kid. sent14: either the Javanthropus is not unsatisfactory or it is not a kid or both if the wits is not a kid. sent15: if the wits is not a Optez and it is not centripetal then it is not a kid. sent16: if the Triton is not a kid the wits is not neurophysiological and/or is not a kind of a kid. sent17: the Javanthropus is not a Optez. sent18: the wits is a kid if the Javanthropus is not centripetal. sent19: the windward is a conferee if the Javanthropus is not unsatisfactory. sent20: the HAART is not a Optez but it is a kind of a entr'acte. sent21: the windward is not a kid. sent22: if the windward is a kind of a conferee then the cinquefoil is not a kind of a urinal and is a conferee. sent23: that the wits is not a urinal is true. sent24: the cinquefoil is a Optez. sent25: the windward is not a conferee and/or it is not unsatisfactory. sent26: either the Javanthropus is not unsatisfactory or it is not neurophysiological or both.
sent15 & sent11 -> int1: the wits is not a kind of a kid.; sent14 & int1 -> int2: the Javanthropus either is not unsatisfactory or is not a kind of a kid or both.; int2 & sent19 & sent13 -> int3: the windward is a conferee.; sent22 & int3 -> int4: the cinquefoil is not a urinal but it is a kind of a conferee.; int4 -> int5: the cinquefoil is a kind of a conferee.; sent10 & int5 -> hypothesis;
$hypothesis$ = the Triton is both neurophysiological and not a conferee. ; $context$ = sent1: the cinquefoil is non-centripetal if it is not a conferee and it is not a Optez. sent2: if the windward is both not a kid and not a urinal it is not a conferee. sent3: if the Javanthropus is non-neurophysiological then the fact that the Triton is unsatisfactory is not incorrect. sent4: the Triton is not a dachshund. sent5: the Javanthropus is not neurophysiological if that the Triton is neurophysiological hold. sent6: the Triton is neurophysiological but not centripetal if the wits is centripetal. sent7: if the wits is both not a kid and a Optez then it is not a conferee. sent8: the steeplechaser is a urinal that does not varnish permeation. sent9: the fact that the windward does varnish gravimeter but it is not a Optez is not wrong. sent10: if the cinquefoil is a conferee then the Triton is neurophysiological thing that is not a kind of a conferee. sent11: the wits is both not a Optez and not centripetal. sent12: the windward does not kid if the wits is a conferee. sent13: the windward is a conferee if the Javanthropus is not a kid. sent14: either the Javanthropus is not unsatisfactory or it is not a kid or both if the wits is not a kid. sent15: if the wits is not a Optez and it is not centripetal then it is not a kid. sent16: if the Triton is not a kid the wits is not neurophysiological and/or is not a kind of a kid. sent17: the Javanthropus is not a Optez. sent18: the wits is a kid if the Javanthropus is not centripetal. sent19: the windward is a conferee if the Javanthropus is not unsatisfactory. sent20: the HAART is not a Optez but it is a kind of a entr'acte. sent21: the windward is not a kid. sent22: if the windward is a kind of a conferee then the cinquefoil is not a kind of a urinal and is a conferee. sent23: that the wits is not a urinal is true. sent24: the cinquefoil is a Optez. sent25: the windward is not a conferee and/or it is not unsatisfactory. sent26: either the Javanthropus is not unsatisfactory or it is not neurophysiological or both. ; $proof$ = 
sent15 & sent11 -> int1: the wits is not a kind of a kid.; sent14 & int1 -> int2: the Javanthropus either is not unsatisfactory or is not a kind of a kid or both.; int2 & sent19 & sent13 -> int3: the windward is a conferee.; sent22 & int3 -> int4: the cinquefoil is not a urinal but it is a kind of a conferee.; int4 -> int5: the cinquefoil is a kind of a conferee.; sent10 & int5 -> hypothesis; __PROVED__