the bowleg is a kind of a Phoenician.
sent1: something is not an impunity if it is not an annex. sent2: if the squark is not alternate and it is not a berlin then the bowleg is not a Phoenician. sent3: something is not a lapidary if it is not a Phoenician. sent4: the fact that the missionary is not a kind of a lapidary but it is a athanor does not hold if the plaza is warmed. sent5: that the scoffer does not alternate and it does not bear nasopharynx does not hold if it does houseclean downstroke. sent6: the Delicious is an escapee. sent7: the squark does alternate and/or is an impunity. sent8: if the plaza is not a kind of a berlin the squark is not a kind of an impunity and it does not alternate. sent9: the fact that the bowleg is not lapidary if either the bowleg is not warmed or it is a Phoenician or both is true. sent10: the plaza is not an impunity if it is not a Phoenician. sent11: if something is an escapee the nasopharynx is an escapee and/or it housecleans downstroke. sent12: if the missionary is not a kind of an annex the plaza is not an impunity. sent13: if there is something such that it is warmed then the plaza is not an annex and/or it is a kind of a lapidary. sent14: if the nasopharynx housecleans downstroke the scoffer housecleans downstroke. sent15: the missionary warms if something does not outshout Polish but it is oncological. sent16: the squark is not a Phoenician if the bowleg is not a kind of a berlin and it does not alternate. sent17: if something is not a kind of an annex it is a lapidary and it warms. sent18: if the nasopharynx is an escapee then the scoffer does houseclean downstroke. sent19: there is something such that it does not outshout Polish. sent20: something is not a athanor if that it is not a kind of a lapidary and it is a kind of a athanor does not hold. sent21: if that something is alternate is not wrong that the plaza is a berlin and/or it is a kind of an impunity is correct. sent22: the bowleg is a lapidary and/or it is an impunity if there exists something such that it is a Phoenician. sent23: something does not outshout Polish but it is oncological. sent24: if either something is not a kind of an annex or it is a lapidary or both it is not an impunity. sent25: the squark is not alternate and it is not a berlin if the plaza is not an impunity. sent26: the nomad is not a Phoenician.
sent23 & sent15 -> int1: the missionary does warm.; int1 -> int2: there is something such that it is warmed.; int2 & sent13 -> int3: the plaza is not a kind of an annex or is a kind of a lapidary or both.; sent24 -> int4: the plaza is not an impunity if it is not an annex and/or is a kind of a lapidary.; int3 & int4 -> int5: the plaza is not an impunity.; int5 & sent25 -> int6: the squark does not alternate and it is not a berlin.; int6 & sent2 -> hypothesis;
the bowleg is a kind of a Phoenician.
sent17 -> int7: the missionary is a lapidary and it warms if it is not a kind of an annex.; sent6 -> int8: there exists something such that it is an escapee.; int8 & sent11 -> int9: the nasopharynx is an escapee and/or housecleans downstroke.; int9 & sent18 & sent14 -> int10: the scoffer does houseclean downstroke.; sent5 & int10 -> int11: that the scoffer is not alternate and it does not bear nasopharynx is not true.; int11 -> int12: there exists something such that the fact that it is a kind of non-alternate thing that does not bear nasopharynx is not correct.;
$hypothesis$ = the bowleg is a kind of a Phoenician. ; $context$ = sent1: something is not an impunity if it is not an annex. sent2: if the squark is not alternate and it is not a berlin then the bowleg is not a Phoenician. sent3: something is not a lapidary if it is not a Phoenician. sent4: the fact that the missionary is not a kind of a lapidary but it is a athanor does not hold if the plaza is warmed. sent5: that the scoffer does not alternate and it does not bear nasopharynx does not hold if it does houseclean downstroke. sent6: the Delicious is an escapee. sent7: the squark does alternate and/or is an impunity. sent8: if the plaza is not a kind of a berlin the squark is not a kind of an impunity and it does not alternate. sent9: the fact that the bowleg is not lapidary if either the bowleg is not warmed or it is a Phoenician or both is true. sent10: the plaza is not an impunity if it is not a Phoenician. sent11: if something is an escapee the nasopharynx is an escapee and/or it housecleans downstroke. sent12: if the missionary is not a kind of an annex the plaza is not an impunity. sent13: if there is something such that it is warmed then the plaza is not an annex and/or it is a kind of a lapidary. sent14: if the nasopharynx housecleans downstroke the scoffer housecleans downstroke. sent15: the missionary warms if something does not outshout Polish but it is oncological. sent16: the squark is not a Phoenician if the bowleg is not a kind of a berlin and it does not alternate. sent17: if something is not a kind of an annex it is a lapidary and it warms. sent18: if the nasopharynx is an escapee then the scoffer does houseclean downstroke. sent19: there is something such that it does not outshout Polish. sent20: something is not a athanor if that it is not a kind of a lapidary and it is a kind of a athanor does not hold. sent21: if that something is alternate is not wrong that the plaza is a berlin and/or it is a kind of an impunity is correct. sent22: the bowleg is a lapidary and/or it is an impunity if there exists something such that it is a Phoenician. sent23: something does not outshout Polish but it is oncological. sent24: if either something is not a kind of an annex or it is a lapidary or both it is not an impunity. sent25: the squark is not alternate and it is not a berlin if the plaza is not an impunity. sent26: the nomad is not a Phoenician. ; $proof$ = 
sent23 & sent15 -> int1: the missionary does warm.; int1 -> int2: there is something such that it is warmed.; int2 & sent13 -> int3: the plaza is not a kind of an annex or is a kind of a lapidary or both.; sent24 -> int4: the plaza is not an impunity if it is not an annex and/or is a kind of a lapidary.; int3 & int4 -> int5: the plaza is not an impunity.; int5 & sent25 -> int6: the squark does not alternate and it is not a berlin.; int6 & sent2 -> hypothesis; __DISPROVED__