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