the plexor is not a kind of a Liege.
sent1: if the HDTV is nonexplosive that the plexor is nonexplosive and it does enfeoff poisoning is wrong. sent2: the HDTV is a Liege if the plexor is nonexplosive. sent3: the fact that something does start armyworm and/or is not a stand is not right if it is not a henry. sent4: if that something is not nonexplosive and does enfeoff poisoning is incorrect it is not a Liege. sent5: that the plexor is nonexplosive and it does enfeoff poisoning is not true. sent6: if the HDTV trundles the landscaping is nonexplosive. sent7: if something is nonexplosive it is not a Liege. sent8: a holophyte is imperfect. sent9: the landscaping is not a Pompeii but nonexplosive if the fact that it is a Liege is correct. sent10: that the landscaping does trundle hold. sent11: if the four-wheeler does cream menhir it is not a tubercle and is not a henry. sent12: the four-wheeler is rimless thing that creams menhir. sent13: if the landscaping is a kind of a Liege but it is not a kind of a trundle then the plexor is a kind of a Liege. sent14: something is nonexplosive if it is Aleutian. sent15: something is phrenic and it does enfeoff poisoning if it is not a stand. sent16: the fact that the landscaping is not a kind of a trundle hold if it is non-Aleutian. sent17: the Monsignor is not a stand if that the four-wheeler either does start armyworm or is not a stand or both is not correct. sent18: the plexor is Aleutian if the HDTV is a kind of a Liege. sent19: the fact that the plexor is not nonexplosive but it enfeoffs poisoning is false if the HDTV is nonexplosive. sent20: the HDTV is Aleutian if the landscaping is a Pompeii. sent21: if the wop is a Pompeii then the HDTV is a Pompeii. sent22: the landscaping is a kind of a Pompeii if it does trundle. sent23: the landscaping is a Liege and is not a trundle if the HDTV is a kind of a Pompeii. sent24: if the fact that the landscaping is not Aleutian and does not trundle is wrong the plexor is a kind of a trundle. sent25: if the plexor is nonexplosive then it is not a Liege.
sent22 & sent10 -> int1: the landscaping is a Pompeii.; int1 & sent20 -> int2: the HDTV is Aleutian.; sent14 -> int3: if the fact that the HDTV is Aleutian is not false then that it is nonexplosive hold.; int2 & int3 -> int4: the HDTV is nonexplosive.; int4 & sent19 -> int5: the fact that the plexor is not nonexplosive but it does enfeoff poisoning does not hold.; sent4 -> int6: that if the fact that the plexor is not nonexplosive and does enfeoff poisoning is false then the plexor is not a kind of a Liege hold.; int5 & int6 -> hypothesis;
the plexor is a Liege.
$hypothesis$ = the plexor is not a kind of a Liege. ; $context$ = sent1: if the HDTV is nonexplosive that the plexor is nonexplosive and it does enfeoff poisoning is wrong. sent2: the HDTV is a Liege if the plexor is nonexplosive. sent3: the fact that something does start armyworm and/or is not a stand is not right if it is not a henry. sent4: if that something is not nonexplosive and does enfeoff poisoning is incorrect it is not a Liege. sent5: that the plexor is nonexplosive and it does enfeoff poisoning is not true. sent6: if the HDTV trundles the landscaping is nonexplosive. sent7: if something is nonexplosive it is not a Liege. sent8: a holophyte is imperfect. sent9: the landscaping is not a Pompeii but nonexplosive if the fact that it is a Liege is correct. sent10: that the landscaping does trundle hold. sent11: if the four-wheeler does cream menhir it is not a tubercle and is not a henry. sent12: the four-wheeler is rimless thing that creams menhir. sent13: if the landscaping is a kind of a Liege but it is not a kind of a trundle then the plexor is a kind of a Liege. sent14: something is nonexplosive if it is Aleutian. sent15: something is phrenic and it does enfeoff poisoning if it is not a stand. sent16: the fact that the landscaping is not a kind of a trundle hold if it is non-Aleutian. sent17: the Monsignor is not a stand if that the four-wheeler either does start armyworm or is not a stand or both is not correct. sent18: the plexor is Aleutian if the HDTV is a kind of a Liege. sent19: the fact that the plexor is not nonexplosive but it enfeoffs poisoning is false if the HDTV is nonexplosive. sent20: the HDTV is Aleutian if the landscaping is a Pompeii. sent21: if the wop is a Pompeii then the HDTV is a Pompeii. sent22: the landscaping is a kind of a Pompeii if it does trundle. sent23: the landscaping is a Liege and is not a trundle if the HDTV is a kind of a Pompeii. sent24: if the fact that the landscaping is not Aleutian and does not trundle is wrong the plexor is a kind of a trundle. sent25: if the plexor is nonexplosive then it is not a Liege. ; $proof$ = 
sent22 & sent10 -> int1: the landscaping is a Pompeii.; int1 & sent20 -> int2: the HDTV is Aleutian.; sent14 -> int3: if the fact that the HDTV is Aleutian is not false then that it is nonexplosive hold.; int2 & int3 -> int4: the HDTV is nonexplosive.; int4 & sent19 -> int5: the fact that the plexor is not nonexplosive but it does enfeoff poisoning does not hold.; sent4 -> int6: that if the fact that the plexor is not nonexplosive and does enfeoff poisoning is false then the plexor is not a kind of a Liege hold.; int5 & int6 -> hypothesis; __PROVED__