Charlie is furry. Charlie is nice. Charlie is round. Charlie is young. Erin is furry. Gary is cold. Gary is nice. Gary is red. Gary is young. Harry is cold. Harry is furry. Harry is red. If something is nice then it is young. All young things are kind. If Harry is nice and Harry is cold then Harry is red.
Harry is not kind.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4 OR ((triple2) -> rule1))] Erin is furry.[(triple5)] Gary is cold.[(triple6)] Gary is nice.[(triple7)] Gary is red.[(triple8)] Gary is young.[(triple9 OR ((triple7) -> rule1))] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is red.[(triple12)] @1: Charlie is kind.[(((triple4) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Gary is kind.[(((triple9) -> rule2) OR ((((triple7) -> rule1)) -> rule2))]