Anne is cold. Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is white. Gary is blue. Gary is cold. Gary is furry. Gary is not nice. Gary is not smart. Gary is white. Harry is blue. Harry is furry. Harry is nice. Harry is white. If Anne is cold and Anne is not blue then Anne is white. If something is rough and cold then it is furry. All furry things are rough.
Bob is not furry.
@0: Anne is cold.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is nice.[(triple5)] Bob is white.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is not nice.[(triple10)] Gary is not smart.[(triple11)] Gary is white.[(triple12)] Harry is blue.[(triple13)] Harry is furry.[(triple14)] Harry is nice.[(triple15)] Harry is white.[(triple16)] @1: Bob is rough.[(((triple4) -> rule3))] Gary is rough.[(((triple9) -> rule3))] Harry is rough.[(((triple14) -> rule3))]