the fiefdom is a kind of a fare.
sent1: that if there is something such that it enlightens the fiefdom is a kind of a upholder and it is a fare hold. sent2: the fiefdom is a tackle and a phlebotomist. sent3: there is something such that it does enlighten. sent4: the fiefdom is a upholder if something does enlighten. sent5: the fiefdom is a upholder.
sent3 & sent1 -> int1: the fiefdom is a upholder and it is a kind of a fare.; int1 -> hypothesis;
$hypothesis$ = the fiefdom is a kind of a fare. ; $context$ = sent1: that if there is something such that it enlightens the fiefdom is a kind of a upholder and it is a fare hold. sent2: the fiefdom is a tackle and a phlebotomist. sent3: there is something such that it does enlighten. sent4: the fiefdom is a upholder if something does enlighten. sent5: the fiefdom is a upholder. ; $proof$ = 
sent3 & sent1 -> int1: the fiefdom is a upholder and it is a kind of a fare.; int1 -> hypothesis; __PROVED__