Anne is furry. Anne is young. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is white. Gary is cold. Gary is furry. Gary is nice. Gary is smart. Gary is young. Harry is cold. Harry is furry. Harry is nice. Harry is smart. Harry is young. All cold people are nice. If someone is white then they are cold.
Harry is white.
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Charlie is cold.[(triple3 OR ((triple6) -> rule2))] Charlie is furry.[(triple4)] Charlie is kind.[(triple5)] Charlie is white.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9 OR ((triple7) -> rule1))] Gary is smart.[(triple10)] Gary is young.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is nice.[(triple14 OR ((triple12) -> rule1))] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Charlie is nice.[(((triple3) -> rule1) OR ((((triple6) -> rule2)) -> rule1))]