there exists something such that if it is a Melolontha and it is lithophytic then it is not unfriendly.
sent1: there is something such that if it is a bottlebrush that tamps occidentalism then it is a EXEC. sent2: the fission is a Melolontha. sent3: if something that is a Melolontha is insurmountable it is friendly. sent4: the rester is unfriendly. sent5: the plowman is lithophytic. sent6: the licensee is geophysical. sent7: the licensee is a kind of a Melolontha if it is a Algerian and steels Menispermum. sent8: the carhop is lithophytic. sent9: there exists something such that if it is a poisonberry and it is a kind of a mouth then it is a kind of a ramekin. sent10: the Fry conventionalizes polypore and it is anagogic. sent11: the licensee is a proliferation. sent12: if the licensee does heal and it is a kind of a gaur then it is not a match. sent13: the licensee does not conventionalize Connecticuter. sent14: if that the licensee is a kind of a slob that conventionalizes involution is not wrong then it is not friendly. sent15: the licensee is insurmountable. sent16: the chiffonier is a Melolontha. sent17: the licensee is a kind of classicistic thing that does clout. sent18: if the licensee is a Melolontha and is insurmountable then it is unfriendly. sent19: the licensee is unfriendly if that it is a Melolontha and it is lithophytic hold.
void -> assump1: Let's assume that the licensee is a Melolontha that is lithophytic.; assump1 -> int1: the licensee is a kind of a Melolontha.; int1 & sent15 -> int2: the licensee is a kind of a Melolontha and it is insurmountable.; sent3 -> int3: if the licensee is both a Melolontha and insurmountable that it is not unfriendly hold.; int2 & int3 -> int4: the licensee is not unfriendly.; [assump1] & int4 -> int5: if the licensee is both a Melolontha and lithophytic then it is not unfriendly.; int5 -> hypothesis;
$hypothesis$ = there exists something such that if it is a Melolontha and it is lithophytic then it is not unfriendly. ; $context$ = sent1: there is something such that if it is a bottlebrush that tamps occidentalism then it is a EXEC. sent2: the fission is a Melolontha. sent3: if something that is a Melolontha is insurmountable it is friendly. sent4: the rester is unfriendly. sent5: the plowman is lithophytic. sent6: the licensee is geophysical. sent7: the licensee is a kind of a Melolontha if it is a Algerian and steels Menispermum. sent8: the carhop is lithophytic. sent9: there exists something such that if it is a poisonberry and it is a kind of a mouth then it is a kind of a ramekin. sent10: the Fry conventionalizes polypore and it is anagogic. sent11: the licensee is a proliferation. sent12: if the licensee does heal and it is a kind of a gaur then it is not a match. sent13: the licensee does not conventionalize Connecticuter. sent14: if that the licensee is a kind of a slob that conventionalizes involution is not wrong then it is not friendly. sent15: the licensee is insurmountable. sent16: the chiffonier is a Melolontha. sent17: the licensee is a kind of classicistic thing that does clout. sent18: if the licensee is a Melolontha and is insurmountable then it is unfriendly. sent19: the licensee is unfriendly if that it is a Melolontha and it is lithophytic hold. ; $proof$ = 
void -> assump1: Let's assume that the licensee is a Melolontha that is lithophytic.; assump1 -> int1: the licensee is a kind of a Melolontha.; int1 & sent15 -> int2: the licensee is a kind of a Melolontha and it is insurmountable.; sent3 -> int3: if the licensee is both a Melolontha and insurmountable that it is not unfriendly hold.; int2 & int3 -> int4: the licensee is not unfriendly.; [assump1] & int4 -> int5: if the licensee is both a Melolontha and lithophytic then it is not unfriendly.; int5 -> hypothesis; __PROVED__