the prune is not a permit but a fucus.
sent1: if the polychaete is not pictographic then that it is a title is not incorrect. sent2: the Midway is not a title if the prune is Jamesian and it is tolerant. sent3: something is both not a secretase and not Jamesian if the fact that it is a title is correct. sent4: the prune is not a secretase if it is a snapshot and it is not a taste. sent5: the prune is a snapshot and does not taste. sent6: the Midway is a kind of a title if the polychaete is a kind of a title. sent7: that the polychaete is not pictographic is not wrong. sent8: something is tolerant if it is not a secretase. sent9: the Midway is not a secretase if the prune is not a secretase and it is not Jamesian. sent10: the prune is not a taste. sent11: the prune is not a secretase if it is a kind of a snapshot and is a taste. sent12: if that the polychaete is not a nullah and is a sexed is false it is not a fucus. sent13: the prune does not permit. sent14: the underdevelopment is not a kind of a snapshot. sent15: if the polychaete is not a fucus then the prune is a title and does permit. sent16: if that something is not Jamesian is true then it is not a permit. sent17: something is both not a permit and a fucus if it is not Jamesian. sent18: if the prune is not Jamesian it does not permit.
sent4 & sent5 -> int1: the prune is not a secretase.; sent8 -> int2: if the prune is not a secretase it is tolerant.; int1 & int2 -> int3: the fact that the prune is tolerant is correct.; void -> assump1: Let's assume that the prune is Jamesian.; int3 & assump1 -> int4: the prune is a kind of Jamesian thing that is tolerant.; int4 & sent2 -> int5: the Midway is not a kind of a title.; sent1 & sent7 -> int6: that the polychaete is a kind of a title is not false.; sent6 & int6 -> int7: the Midway is a title.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the prune is not Jamesian.; sent17 -> int10: if the prune is not Jamesian then it is both not a permit and a fucus.; int9 & int10 -> hypothesis;
the Midway is pictographic.
sent3 -> int11: if the prune is a title then it is not a secretase and it is not Jamesian.;
$hypothesis$ = the prune is not a permit but a fucus. ; $context$ = sent1: if the polychaete is not pictographic then that it is a title is not incorrect. sent2: the Midway is not a title if the prune is Jamesian and it is tolerant. sent3: something is both not a secretase and not Jamesian if the fact that it is a title is correct. sent4: the prune is not a secretase if it is a snapshot and it is not a taste. sent5: the prune is a snapshot and does not taste. sent6: the Midway is a kind of a title if the polychaete is a kind of a title. sent7: that the polychaete is not pictographic is not wrong. sent8: something is tolerant if it is not a secretase. sent9: the Midway is not a secretase if the prune is not a secretase and it is not Jamesian. sent10: the prune is not a taste. sent11: the prune is not a secretase if it is a kind of a snapshot and is a taste. sent12: if that the polychaete is not a nullah and is a sexed is false it is not a fucus. sent13: the prune does not permit. sent14: the underdevelopment is not a kind of a snapshot. sent15: if the polychaete is not a fucus then the prune is a title and does permit. sent16: if that something is not Jamesian is true then it is not a permit. sent17: something is both not a permit and a fucus if it is not Jamesian. sent18: if the prune is not Jamesian it does not permit. ; $proof$ = 
sent4 & sent5 -> int1: the prune is not a secretase.; sent8 -> int2: if the prune is not a secretase it is tolerant.; int1 & int2 -> int3: the fact that the prune is tolerant is correct.; void -> assump1: Let's assume that the prune is Jamesian.; int3 & assump1 -> int4: the prune is a kind of Jamesian thing that is tolerant.; int4 & sent2 -> int5: the Midway is not a kind of a title.; sent1 & sent7 -> int6: that the polychaete is a kind of a title is not false.; sent6 & int6 -> int7: the Midway is a title.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the prune is not Jamesian.; sent17 -> int10: if the prune is not Jamesian then it is both not a permit and a fucus.; int9 & int10 -> hypothesis; __PROVED__