either the gunpowder is not phylogenetic or it is not a kind of a Uzi or both.
sent1: the analyst does not charm Weizmann. sent2: something is phylogenetic if it is incongruous. sent3: the gunpowder is not phylogenetic and/or it is a Uzi. sent4: if the fact that the paste-up is attentional is not incorrect then that the gunpowder is not a Villon and is paralytic is wrong. sent5: if something is not a Villon but attentional the analyst is not a Uzi. sent6: if the congregant is phylogenetic the paste-up does not snag fellowship or it is not a Uzi or both. sent7: the pyrostat is incongruous. sent8: if that the gunpowder is not a kind of a Villon but it is paralytic does not hold the analyst is a kind of a paralytic. sent9: the fact that the gunpowder is attentional but it is not a kind of a Villon is incorrect if the analyst does not snag fellowship. sent10: that something is not phylogenetic and/or it is not a Uzi does not hold if it is a kind of a Villon. sent11: something does not snag fellowship if it is a Villon. sent12: if something either does not snag fellowship or is not a Uzi or both it is attentional. sent13: the gunpowder is not phylogenetic or it is a kind of a Uzi or both if the analyst is not a Uzi. sent14: the analyst is incongruous and it is a Nacimiento if it does not charm Weizmann. sent15: the fact that if an incongruous thing is a Hale then it does not snag fellowship is true. sent16: the pyrostat is attentional. sent17: that either the gunpowder is not phylogenetic or it is not a kind of a Uzi or both if the analyst is not a Uzi is true.
sent11 -> int1: the pyrostat does not snag fellowship if it is a Villon.; void -> assump1: Let's assume that the pyrostat is a Villon.; int1 & assump1 -> int2: the pyrostat does not snag fellowship.;
the analyst is paralytic.
sent12 -> int3: the paste-up is attentional if either it does not snag fellowship or it is not a Uzi or both.; sent2 -> int4: the congregant is phylogenetic if it is incongruous.;
$hypothesis$ = either the gunpowder is not phylogenetic or it is not a kind of a Uzi or both. ; $context$ = sent1: the analyst does not charm Weizmann. sent2: something is phylogenetic if it is incongruous. sent3: the gunpowder is not phylogenetic and/or it is a Uzi. sent4: if the fact that the paste-up is attentional is not incorrect then that the gunpowder is not a Villon and is paralytic is wrong. sent5: if something is not a Villon but attentional the analyst is not a Uzi. sent6: if the congregant is phylogenetic the paste-up does not snag fellowship or it is not a Uzi or both. sent7: the pyrostat is incongruous. sent8: if that the gunpowder is not a kind of a Villon but it is paralytic does not hold the analyst is a kind of a paralytic. sent9: the fact that the gunpowder is attentional but it is not a kind of a Villon is incorrect if the analyst does not snag fellowship. sent10: that something is not phylogenetic and/or it is not a Uzi does not hold if it is a kind of a Villon. sent11: something does not snag fellowship if it is a Villon. sent12: if something either does not snag fellowship or is not a Uzi or both it is attentional. sent13: the gunpowder is not phylogenetic or it is a kind of a Uzi or both if the analyst is not a Uzi. sent14: the analyst is incongruous and it is a Nacimiento if it does not charm Weizmann. sent15: the fact that if an incongruous thing is a Hale then it does not snag fellowship is true. sent16: the pyrostat is attentional. sent17: that either the gunpowder is not phylogenetic or it is not a kind of a Uzi or both if the analyst is not a Uzi is true. ; $proof$ = 
sent11 -> int1: the pyrostat does not snag fellowship if it is a Villon.; void -> assump1: Let's assume that the pyrostat is a Villon.; int1 & assump1 -> int2: the pyrostat does not snag fellowship.; __UNKNOWN__