Erin is furry. Erin is nice. Erin is red. Erin is young. Harry is furry. Harry is green. Harry is kind. Harry is nice. Harry is red. Harry is not young. Young, nice people are kind. If someone is young and not furry then they are not green.
Erin is big.
@0: Erin is furry.[(triple1)] Erin is nice.[(triple2)] Erin is red.[(triple3)] Erin is young.[(triple4)] Harry is furry.[(triple5)] Harry is green.[(triple6)] Harry is kind.[(triple7)] Harry is nice.[(triple8)] Harry is not young.[(triple10)] Harry is red.[(triple9)] @1: Erin is kind.[(((triple4 triple2) -> rule1))]