Anne is not furry. Anne is rough. Anne is young. Bob is not cold. Bob is furry. Bob is kind. Bob is red. If something is young and not rough then it is not smart. If Anne is furry then Anne is cold. If something is kind and not rough then it is cold. If something is cold and rough then it is kind. If Bob is not smart then Bob is not cold. If Anne is red and Anne is not young then Anne is smart. If something is rough then it is red. If something is smart and not kind then it is red.
Bob is red.
@0: Anne is not furry.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Bob is furry.[(triple5)] Bob is kind.[(triple6)] Bob is not cold.[(triple4)] Bob is red.[(triple7)] @1: Anne is red.[(((triple2) -> rule7))]