Bob is not quiet. Charlie is furry. Erin is not big. Erin is furry. Erin is kind. Erin is red. Erin is not white. Erin is young. Harry is not furry. Harry is kind. If something is kind and not big then it is young.
Erin is not young.
@0: Bob is not quiet.[(triple1)] Charlie is furry.[(triple2)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is not big.[(triple3)] Erin is not white.[(triple7)] Erin is red.[(triple6)] Erin is young.[(triple8 OR ((triple5 triple3) -> rule1))] Harry is kind.[(triple10)] Harry is not furry.[(triple9)]