the lion's-ear is a felt.
sent1: if the klystron does amplify badminton the phosphate amplify badminton. sent2: the phosphate is a kind of a felt. sent3: the lion's-ear does not amplify badminton. sent4: if something is not a veery and does not spoil Nanak that it is not a laborer hold. sent5: the klystron amplifies badminton. sent6: if something is not a kind of a vestal it is not a veery and does not spoil Nanak. sent7: if the phosphate is not a kind of a laborer the lion's-ear is not a felt and it does not amplify badminton. sent8: The badminton amplifies klystron.
void -> assump1: Let's assume that the lion's-ear is not a kind of a felt.; sent1 & sent5 -> int1: the phosphate does amplify badminton.;
the lion's-ear is not a felt.
sent4 -> int2: if the phosphate is not a veery and does not spoil Nanak it is not a kind of a laborer.; sent6 -> int3: the phosphate is not a veery and it does not spoil Nanak if it is not a vestal.;
$hypothesis$ = the lion's-ear is a felt. ; $context$ = sent1: if the klystron does amplify badminton the phosphate amplify badminton. sent2: the phosphate is a kind of a felt. sent3: the lion's-ear does not amplify badminton. sent4: if something is not a veery and does not spoil Nanak that it is not a laborer hold. sent5: the klystron amplifies badminton. sent6: if something is not a kind of a vestal it is not a veery and does not spoil Nanak. sent7: if the phosphate is not a kind of a laborer the lion's-ear is not a felt and it does not amplify badminton. sent8: The badminton amplifies klystron. ; $proof$ = 
void -> assump1: Let's assume that the lion's-ear is not a kind of a felt.; sent1 & sent5 -> int1: the phosphate does amplify badminton.; __UNKNOWN__