the Puritan does wrest malleability and it is a tuille.
sent1: if the pooler is pubertal then it does not gate Perdix. sent2: if something does not gate Perdix then it is Lusitanian. sent3: if something is pubertal and/or a field it does not gate Perdix. sent4: the pooler does field. sent5: the Puritan is a kind of a tuille if the pooler is Lusitanian. sent6: something that does not wrest malleability is a tuille and is Lusitanian. sent7: something does not gate Perdix if it is pubertal. sent8: the Puritan does wrest malleability if the bushtit wrest malleability.
sent3 -> int1: if the pooler either is pubertal or fields or both then it does not gate Perdix.; sent4 -> int2: the pooler is either pubertal or a field or both.; int1 & int2 -> int3: the pooler does not gate Perdix.; sent2 -> int4: the pooler is Lusitanian if it does not gate Perdix.; int3 & int4 -> int5: the pooler is Lusitanian.; int5 & sent5 -> int6: the Puritan is a tuille.;
the bushtit does gate Perdix.
sent6 -> int7: if the bushtit does not wrest malleability it is a tuille and is Lusitanian.;
$hypothesis$ = the Puritan does wrest malleability and it is a tuille. ; $context$ = sent1: if the pooler is pubertal then it does not gate Perdix. sent2: if something does not gate Perdix then it is Lusitanian. sent3: if something is pubertal and/or a field it does not gate Perdix. sent4: the pooler does field. sent5: the Puritan is a kind of a tuille if the pooler is Lusitanian. sent6: something that does not wrest malleability is a tuille and is Lusitanian. sent7: something does not gate Perdix if it is pubertal. sent8: the Puritan does wrest malleability if the bushtit wrest malleability. ; $proof$ = 
sent3 -> int1: if the pooler either is pubertal or fields or both then it does not gate Perdix.; sent4 -> int2: the pooler is either pubertal or a field or both.; int1 & int2 -> int3: the pooler does not gate Perdix.; sent2 -> int4: the pooler is Lusitanian if it does not gate Perdix.; int3 & int4 -> int5: the pooler is Lusitanian.; int5 & sent5 -> int6: the Puritan is a tuille.; __UNKNOWN__