if the snowball does segment the case is a kind of azimuthal thing that does not brad corbie-step.
sent1: something is a dogtrot if it is neritic. sent2: the snowball does brad quadratic and/or it does not brad corbie-step. sent3: something that is neritic and/or is not a kind of a Merlangus is a dogtrot. sent4: the snowball is a kind of a ABB. sent5: the case is Riemannian or it is not a kind of a segment or both. sent6: the snowball is neritic and/or it is not a kind of a Merlangus. sent7: that something does brad corbie-step is correct if it is neritic. sent8: the snowball is not an alluvium. sent9: the case is azimuthal. sent10: the snowball does brad quadratic if it is a kind of a dogtrot. sent11: the snowball does not brad quadratic if the case is a segment and it is a dogtrot. sent12: either the snowball does actualize or it does not brad corbie-step or both. sent13: the case is a dogtrot and is not a kind of a segment if the snowball is a Merlangus. sent14: the fact that the snowball is neritic but it is non-azimuthal if the case does brad quadratic is not false. sent15: the Pullman is azimuthal and it is unimportant.
sent3 -> int1: the snowball is a dogtrot if it is neritic and/or it is not a kind of a Merlangus.; int1 & sent6 -> int2: the snowball is a dogtrot.; int2 & sent10 -> int3: the snowball does brad quadratic.; void -> assump1: Let's assume that the snowball segments.; int3 & assump1 -> int4: the snowball does brad quadratic and it segments.;
$hypothesis$ = if the snowball does segment the case is a kind of azimuthal thing that does not brad corbie-step. ; $context$ = sent1: something is a dogtrot if it is neritic. sent2: the snowball does brad quadratic and/or it does not brad corbie-step. sent3: something that is neritic and/or is not a kind of a Merlangus is a dogtrot. sent4: the snowball is a kind of a ABB. sent5: the case is Riemannian or it is not a kind of a segment or both. sent6: the snowball is neritic and/or it is not a kind of a Merlangus. sent7: that something does brad corbie-step is correct if it is neritic. sent8: the snowball is not an alluvium. sent9: the case is azimuthal. sent10: the snowball does brad quadratic if it is a kind of a dogtrot. sent11: the snowball does not brad quadratic if the case is a segment and it is a dogtrot. sent12: either the snowball does actualize or it does not brad corbie-step or both. sent13: the case is a dogtrot and is not a kind of a segment if the snowball is a Merlangus. sent14: the fact that the snowball is neritic but it is non-azimuthal if the case does brad quadratic is not false. sent15: the Pullman is azimuthal and it is unimportant. ; $proof$ = 
sent3 -> int1: the snowball is a dogtrot if it is neritic and/or it is not a kind of a Merlangus.; int1 & sent6 -> int2: the snowball is a dogtrot.; int2 & sent10 -> int3: the snowball does brad quadratic.; void -> assump1: Let's assume that the snowball segments.; int3 & assump1 -> int4: the snowball does brad quadratic and it segments.; __UNKNOWN__