the lender is not fungal.
sent1: the Tutelo is a focalization if it is not a cappuccino or it is a kind of a mutant or both. sent2: the lender is not fungal if the Tutelo is a contemplative and it is a focalization. sent3: if something is evidentiary then it is a percolator. sent4: that the Tutelo is not a cappuccino and/or it is a kind of the mutant if the Tutelo is maxillomandibular hold. sent5: the subjectivist is not a radial. sent6: if the subjectivist is not a radial and not an ophthalmologist the Tutelo is ethical. sent7: the Tutelo is a contemplative if the fact that it is not a percolator does not hold. sent8: the Tutelo is maxillomandibular. sent9: if something is ethical it is evidentiary.
sent9 -> int1: if the Tutelo is ethical then it is evidentiary.; sent3 -> int2: if the Tutelo is evidentiary then it is a percolator.; sent4 & sent8 -> int3: the Tutelo is not a kind of a cappuccino or is a mutant or both.; sent1 & int3 -> int4: the Tutelo is a focalization.;
$hypothesis$ = the lender is not fungal. ; $context$ = sent1: the Tutelo is a focalization if it is not a cappuccino or it is a kind of a mutant or both. sent2: the lender is not fungal if the Tutelo is a contemplative and it is a focalization. sent3: if something is evidentiary then it is a percolator. sent4: that the Tutelo is not a cappuccino and/or it is a kind of the mutant if the Tutelo is maxillomandibular hold. sent5: the subjectivist is not a radial. sent6: if the subjectivist is not a radial and not an ophthalmologist the Tutelo is ethical. sent7: the Tutelo is a contemplative if the fact that it is not a percolator does not hold. sent8: the Tutelo is maxillomandibular. sent9: if something is ethical it is evidentiary. ; $proof$ = 
sent9 -> int1: if the Tutelo is ethical then it is evidentiary.; sent3 -> int2: if the Tutelo is evidentiary then it is a percolator.; sent4 & sent8 -> int3: the Tutelo is not a kind of a cappuccino or is a mutant or both.; sent1 & int3 -> int4: the Tutelo is a focalization.; __UNKNOWN__