Gary is cold. Gary is red. Gary is white. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is white. Harry is young. If Harry is furry and Harry is red then Harry is kind. Red things are kind.
Gary is not nice.
@0: Gary is cold.[(triple1)] Gary is red.[(triple2)] Gary is white.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5)] Harry is kind.[(triple6 OR ((triple8) -> rule2) OR ((triple5 triple8) -> rule1))] Harry is nice.[(triple7)] Harry is red.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Gary is kind.[(((triple2) -> rule2))]