the fact that the positioner is not a kind of a Perdix is right.
sent1: something is a tip and is a Perdix if it is non-lobular. sent2: the jumbojet is lobular but not a philologist if the baritone is not a health. sent3: the keelson is not a list. sent4: the keelson crusts. sent5: if the jumbojet is not a health then that the baritone is a kind of a health and is not a philologist does not hold. sent6: the positioner is not lobular if the jumbojet is lobular but it is not a philologist. sent7: the edmontosaurus does tarry but it is not lobular. sent8: there exists something such that it is lobular. sent9: that the fact that the positioner is lobular and it does list is wrong is correct if the edmontosaurus is not lobular. sent10: the jumbojet is not a health if something that is lobular is a kind of a Perdix. sent11: if that the edmontosaurus is not a kind of a crust hold the baritone is not a health but it lists. sent12: there is something such that it is not a tip. sent13: if there exists something such that it is not a kind of a tip then the positioner is not non-lobular. sent14: the keelson is not a Perdix. sent15: if the keelson is a kind of a crust but it is not a list then the edmontosaurus is not a list. sent16: if the edmontosaurus is not a kind of a list then the baritone is a health but it is not a kind of a philologist.
sent12 & sent13 -> int1: the fact that the positioner is lobular is not false.; void -> assump1: Let's assume that the positioner is a Perdix.; int1 & assump1 -> int2: the positioner is lobular and is a kind of a Perdix.; int2 -> int3: there is something such that it is both lobular and a Perdix.; int3 & sent10 -> int4: the jumbojet is not a health.; int4 & sent5 -> int5: the fact that the baritone is a health and not a philologist is wrong.; sent4 & sent3 -> int6: the keelson crusts but it does not list.; sent15 & int6 -> int7: the edmontosaurus does not list.; sent16 & int7 -> int8: the baritone is a kind of a health but it is not a philologist.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the positioner is a Perdix.
sent1 -> int10: the positioner tips and is a Perdix if it is not lobular.;
$hypothesis$ = the fact that the positioner is not a kind of a Perdix is right. ; $context$ = sent1: something is a tip and is a Perdix if it is non-lobular. sent2: the jumbojet is lobular but not a philologist if the baritone is not a health. sent3: the keelson is not a list. sent4: the keelson crusts. sent5: if the jumbojet is not a health then that the baritone is a kind of a health and is not a philologist does not hold. sent6: the positioner is not lobular if the jumbojet is lobular but it is not a philologist. sent7: the edmontosaurus does tarry but it is not lobular. sent8: there exists something such that it is lobular. sent9: that the fact that the positioner is lobular and it does list is wrong is correct if the edmontosaurus is not lobular. sent10: the jumbojet is not a health if something that is lobular is a kind of a Perdix. sent11: if that the edmontosaurus is not a kind of a crust hold the baritone is not a health but it lists. sent12: there is something such that it is not a tip. sent13: if there exists something such that it is not a kind of a tip then the positioner is not non-lobular. sent14: the keelson is not a Perdix. sent15: if the keelson is a kind of a crust but it is not a list then the edmontosaurus is not a list. sent16: if the edmontosaurus is not a kind of a list then the baritone is a health but it is not a kind of a philologist. ; $proof$ = 
sent12 & sent13 -> int1: the fact that the positioner is lobular is not false.; void -> assump1: Let's assume that the positioner is a Perdix.; int1 & assump1 -> int2: the positioner is lobular and is a kind of a Perdix.; int2 -> int3: there is something such that it is both lobular and a Perdix.; int3 & sent10 -> int4: the jumbojet is not a health.; int4 & sent5 -> int5: the fact that the baritone is a health and not a philologist is wrong.; sent4 & sent3 -> int6: the keelson crusts but it does not list.; sent15 & int6 -> int7: the edmontosaurus does not list.; sent16 & int7 -> int8: the baritone is a kind of a health but it is not a philologist.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__