Bob is blue. Bob is nice. Bob is white. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is smart. Dave is white. Gary is blue. Gary is cold. Gary is white. Harry is cold. Harry is furry. Harry is kind. If Gary is cold then Gary is kind.
Gary is not furry.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Gary is blue.[(triple10)] Gary is cold.[(triple11)] Gary is white.[(triple12)] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is kind.[(triple15)] @1: Gary is kind.[(((triple11) -> rule1))]