if the individualist is a LAN then the steel is a tragedian but not a loot.
sent1: if there exists something such that it subsides mineralogist then the steel is a tragedian and it does loot. sent2: if the individualist is a LAN the steel is a tragedian that does loot. sent3: the steel is both a tragedian and not a loot if something does subside mineralogist. sent4: if the individualist is a LAN then it matures. sent5: the steel matures. sent6: the steel is a tragedian and a loot. sent7: if the individualist is a LAN the steel is a tragedian. sent8: if there exists something such that it subsides mineralogist then the steel is a kind of a tragedian. sent9: the steel is a tragedian. sent10: the ling does subside mineralogist if the individualist does mature. sent11: the promiser is not non-Palladian.
void -> assump1: Let's assume that the individualist is a LAN.; sent4 & assump1 -> int1: the individualist is mature.; sent10 & int1 -> int2: the ling subsides mineralogist.; int2 -> int3: there exists something such that that it subsides mineralogist hold.; int3 & sent3 -> int4: the steel is both a tragedian and not a loot.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the individualist is a LAN then the steel is a tragedian but not a loot. ; $context$ = sent1: if there exists something such that it subsides mineralogist then the steel is a tragedian and it does loot. sent2: if the individualist is a LAN the steel is a tragedian that does loot. sent3: the steel is both a tragedian and not a loot if something does subside mineralogist. sent4: if the individualist is a LAN then it matures. sent5: the steel matures. sent6: the steel is a tragedian and a loot. sent7: if the individualist is a LAN the steel is a tragedian. sent8: if there exists something such that it subsides mineralogist then the steel is a kind of a tragedian. sent9: the steel is a tragedian. sent10: the ling does subside mineralogist if the individualist does mature. sent11: the promiser is not non-Palladian. ; $proof$ = 
void -> assump1: Let's assume that the individualist is a LAN.; sent4 & assump1 -> int1: the individualist is mature.; sent10 & int1 -> int2: the ling subsides mineralogist.; int2 -> int3: there exists something such that that it subsides mineralogist hold.; int3 & sent3 -> int4: the steel is both a tragedian and not a loot.; [assump1] & int4 -> hypothesis; __PROVED__