if the islay is a conformist that is a Havana then the conferee does not up.
sent1: the conferee is prognathous. sent2: the conferee is a Havana. sent3: if the islay is conformist the li is a genipap. sent4: the li is a rottenstone if that it is not prognathous and it does not mummify chela is not correct. sent5: if the li is conformist the islay is a kind of a rottenstone. sent6: if a non-conformist thing is a Havana then it is prognathous. sent7: if something is a Baedeker and it is a rottenstone the conferee is non-up. sent8: something is not conformist if that it is a Baedeker and it is a genipap is not correct. sent9: the fact that the li is not prognathous and does not mummify chela is not true. sent10: if the islay is a kind of a genipap and it is prognathous the li is not a Havana. sent11: the islay is a Baedeker. sent12: something is a Baedeker if it is a genipap. sent13: if something that mummifies chela is prognathous then the islay is not conformist.
void -> assump1: Let's assume that the islay is conformist and it is a Havana.; assump1 -> int1: the islay is a conformist.; int1 & sent3 -> int2: the li is a genipap.; sent12 -> int3: if the li is a genipap it is a kind of a Baedeker.; int2 & int3 -> int4: the li is a kind of a Baedeker.; sent4 & sent9 -> int5: the li is a rottenstone.; int4 & int5 -> int6: the li is a Baedeker and a rottenstone.; int6 -> int7: there is something such that it is a Baedeker and it is a rottenstone.; int7 & sent7 -> int8: the conferee does not up.; [assump1] & int8 -> hypothesis;
the lithium is not non-prognathous.
sent6 -> int9: if the lithium is not a kind of a conformist but it is a kind of a Havana it is prognathous.; sent8 -> int10: if that the lithium is a Baedeker and it is a genipap is incorrect it is not a kind of a conformist.;
$hypothesis$ = if the islay is a conformist that is a Havana then the conferee does not up. ; $context$ = sent1: the conferee is prognathous. sent2: the conferee is a Havana. sent3: if the islay is conformist the li is a genipap. sent4: the li is a rottenstone if that it is not prognathous and it does not mummify chela is not correct. sent5: if the li is conformist the islay is a kind of a rottenstone. sent6: if a non-conformist thing is a Havana then it is prognathous. sent7: if something is a Baedeker and it is a rottenstone the conferee is non-up. sent8: something is not conformist if that it is a Baedeker and it is a genipap is not correct. sent9: the fact that the li is not prognathous and does not mummify chela is not true. sent10: if the islay is a kind of a genipap and it is prognathous the li is not a Havana. sent11: the islay is a Baedeker. sent12: something is a Baedeker if it is a genipap. sent13: if something that mummifies chela is prognathous then the islay is not conformist. ; $proof$ = 
void -> assump1: Let's assume that the islay is conformist and it is a Havana.; assump1 -> int1: the islay is a conformist.; int1 & sent3 -> int2: the li is a genipap.; sent12 -> int3: if the li is a genipap it is a kind of a Baedeker.; int2 & int3 -> int4: the li is a kind of a Baedeker.; sent4 & sent9 -> int5: the li is a rottenstone.; int4 & int5 -> int6: the li is a Baedeker and a rottenstone.; int6 -> int7: there is something such that it is a Baedeker and it is a rottenstone.; int7 & sent7 -> int8: the conferee does not up.; [assump1] & int8 -> hypothesis; __PROVED__