that the boutonniere is not hydrostatics if the shipwright is not incompatible is not false.
sent1: if the Marine is not a Eucharist then it is not three-piece. sent2: the Marine is not a Eucharist if something is three-piece but it is not a kind of a why. sent3: the boutonniere is not a AU if there is something such that it is both a Eucharist and not a why. sent4: the boutonniere is three-piece. sent5: there exists something such that it is three-piece and it is a why. sent6: if the Marine is not euclidian then it is not a Pangloss. sent7: the Marine is not a Pangloss and it is not a kind of a AU if it is not euclidian. sent8: if something is not a Eucharist it is not euclidian. sent9: the fact that if the Marine is not a Pangloss and it is not a AU then the shipwright is incompatible is not false.
void -> assump1: Let's assume that the boutonniere is hydrostatics.; sent8 -> int1: if the Marine is not a kind of a Eucharist it is not euclidian.;
$hypothesis$ = that the boutonniere is not hydrostatics if the shipwright is not incompatible is not false. ; $context$ = sent1: if the Marine is not a Eucharist then it is not three-piece. sent2: the Marine is not a Eucharist if something is three-piece but it is not a kind of a why. sent3: the boutonniere is not a AU if there is something such that it is both a Eucharist and not a why. sent4: the boutonniere is three-piece. sent5: there exists something such that it is three-piece and it is a why. sent6: if the Marine is not euclidian then it is not a Pangloss. sent7: the Marine is not a Pangloss and it is not a kind of a AU if it is not euclidian. sent8: if something is not a Eucharist it is not euclidian. sent9: the fact that if the Marine is not a Pangloss and it is not a AU then the shipwright is incompatible is not false. ; $proof$ = 
void -> assump1: Let's assume that the boutonniere is hydrostatics.; sent8 -> int1: if the Marine is not a kind of a Eucharist it is not euclidian.; __UNKNOWN__