if the bolster is a raja the mince is allographic.
sent1: something does close if it sublimes. sent2: the mince is allographic if there is something such that it is a raja and it is close. sent3: there exists something such that it is a raja. sent4: the bolster is allographic. sent5: the fact that the bolster hesitates and does sublime is not false. sent6: the bolster is not close if that it is non-allographic thing that is indulgent is not false. sent7: there are close things.
sent5 -> int1: the bolster does sublime.; sent1 -> int2: if the bolster sublimes it is close.; int1 & int2 -> int3: the bolster closes.; void -> assump1: Let's assume that the bolster is a raja.; int3 & assump1 -> int4: the bolster is a raja and it does close.; int4 -> int5: something is a raja and is not non-close.; int5 & sent2 -> int6: the mince is allographic.; [assump1] & int6 -> hypothesis;
the Grass is a raja that libels.
$hypothesis$ = if the bolster is a raja the mince is allographic. ; $context$ = sent1: something does close if it sublimes. sent2: the mince is allographic if there is something such that it is a raja and it is close. sent3: there exists something such that it is a raja. sent4: the bolster is allographic. sent5: the fact that the bolster hesitates and does sublime is not false. sent6: the bolster is not close if that it is non-allographic thing that is indulgent is not false. sent7: there are close things. ; $proof$ = 
sent5 -> int1: the bolster does sublime.; sent1 -> int2: if the bolster sublimes it is close.; int1 & int2 -> int3: the bolster closes.; void -> assump1: Let's assume that the bolster is a raja.; int3 & assump1 -> int4: the bolster is a raja and it does close.; int4 -> int5: something is a raja and is not non-close.; int5 & sent2 -> int6: the mince is allographic.; [assump1] & int6 -> hypothesis; __PROVED__