Bob is cold. Bob is furry. Bob is not green. Bob is not rough. Charlie is furry. Charlie is nice. Charlie is not rough. Gary is furry. Gary is kind. Gary is not nice. Harry is kind. Harry is young. If something is cold and not nice then it is furry. If something is furry and nice then it is cold. Kind things are green.
Bob is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is not green.[(triple3)] Bob is not rough.[(triple4)] Charlie is furry.[(triple5)] Charlie is nice.[(triple6)] Charlie is not rough.[(triple7)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is not nice.[(triple10)] Harry is kind.[(triple11)] Harry is young.[(triple12)] @1: Charlie is cold.[(((triple5 triple6) -> rule2))] Gary is green.[(((triple9) -> rule3))] Harry is green.[(((triple11) -> rule3))]