Erin is blue. Erin is furry. Erin is red. Erin is smart. Erin is young. Harry is kind. Harry is red. Harry is round. Harry is smart. Harry is young. If something is round then it is kind.
Erin is not kind.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is red.[(triple3)] Erin is smart.[(triple4)] Erin is young.[(triple5)] Harry is kind.[(triple6 OR ((triple8) -> rule1))] Harry is red.[(triple7)] Harry is round.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)]