if the perfluorocarbon is not a litterer either the yellowcake does not profit or it is a Dracunculus or both.
sent1: the perfluorocarbon does not eviscerate if it is a profit. sent2: if something either does not advertise or is a kind of a Dracunculus or both it is a Dracunculus. sent3: if something is a trichroism then it does not advertise and/or it is a kind of a Dracunculus. sent4: if the perfluorocarbon is not a kind of a Dracunculus the yellowcake either is not a kind of a profit or is a Luo or both. sent5: something that is a Luo is a profit. sent6: if the perfluorocarbon is not a Luo then either the yellowcake does not profit or it is a Dracunculus or both. sent7: the yellowcake does profit and/or it is a kind of a Dracunculus. sent8: the yellowcake profits or it is a Dracunculus or both if the perfluorocarbon is not a kind of a Luo. sent9: if something is a kind of a Dracunculus it is a kind of a Luo. sent10: the yellowcake is a profit and/or it is a Dracunculus if the perfluorocarbon is not a kind of a litterer. sent11: if the perfluorocarbon is a litterer then either the yellowcake is not a profit or it is a Dracunculus or both. sent12: something does not eviscerate but it is a litterer if it is a kind of a Luo. sent13: the perfluorocarbon does not eviscerate if it is a Luo. sent14: if the yellowcake does not eviscerate then the perfluorocarbon is not a Luo or it is a Dracunculus or both. sent15: the fact that something does not eviscerate is not false if it is a Luo. sent16: the perfluorocarbon does not eviscerate.
sent12 -> int1: if that the perfluorocarbon is a Luo hold it does not eviscerate and it is a litterer.; void -> assump1: Let's assume that the perfluorocarbon is a Luo.; int1 & assump1 -> int2: the perfluorocarbon does not eviscerate and is a kind of a litterer.; int2 -> int3: the perfluorocarbon is a litterer.; void -> assump2: Let's assume that the perfluorocarbon is not a litterer.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the perfluorocarbon is not a Luo.; sent6 & int5 -> int6: the yellowcake does not profit or it is a Dracunculus or both.; [assump2] & int6 -> hypothesis;
the hemiepiphyte is a kind of a profit.
sent5 -> int7: the fact that the hemiepiphyte is a kind of the profit if the hemiepiphyte is a Luo is not incorrect.; sent9 -> int8: if the hemiepiphyte is a kind of a Dracunculus it is a Luo.; sent2 -> int9: the hemiepiphyte is a Dracunculus if it does not advertise and/or it is a Dracunculus.; sent3 -> int10: the hemiepiphyte does not advertise or it is a Dracunculus or both if it is a trichroism.;
$hypothesis$ = if the perfluorocarbon is not a litterer either the yellowcake does not profit or it is a Dracunculus or both. ; $context$ = sent1: the perfluorocarbon does not eviscerate if it is a profit. sent2: if something either does not advertise or is a kind of a Dracunculus or both it is a Dracunculus. sent3: if something is a trichroism then it does not advertise and/or it is a kind of a Dracunculus. sent4: if the perfluorocarbon is not a kind of a Dracunculus the yellowcake either is not a kind of a profit or is a Luo or both. sent5: something that is a Luo is a profit. sent6: if the perfluorocarbon is not a Luo then either the yellowcake does not profit or it is a Dracunculus or both. sent7: the yellowcake does profit and/or it is a kind of a Dracunculus. sent8: the yellowcake profits or it is a Dracunculus or both if the perfluorocarbon is not a kind of a Luo. sent9: if something is a kind of a Dracunculus it is a kind of a Luo. sent10: the yellowcake is a profit and/or it is a Dracunculus if the perfluorocarbon is not a kind of a litterer. sent11: if the perfluorocarbon is a litterer then either the yellowcake is not a profit or it is a Dracunculus or both. sent12: something does not eviscerate but it is a litterer if it is a kind of a Luo. sent13: the perfluorocarbon does not eviscerate if it is a Luo. sent14: if the yellowcake does not eviscerate then the perfluorocarbon is not a Luo or it is a Dracunculus or both. sent15: the fact that something does not eviscerate is not false if it is a Luo. sent16: the perfluorocarbon does not eviscerate. ; $proof$ = 
sent12 -> int1: if that the perfluorocarbon is a Luo hold it does not eviscerate and it is a litterer.; void -> assump1: Let's assume that the perfluorocarbon is a Luo.; int1 & assump1 -> int2: the perfluorocarbon does not eviscerate and is a kind of a litterer.; int2 -> int3: the perfluorocarbon is a litterer.; void -> assump2: Let's assume that the perfluorocarbon is not a litterer.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the perfluorocarbon is not a Luo.; sent6 & int5 -> int6: the yellowcake does not profit or it is a Dracunculus or both.; [assump2] & int6 -> hypothesis; __PROVED__