Anne is smart. Bob is kind. Bob is white. Furry things are not rough. All smart things are rough. If something is furry and cold then it is kind. If something is cold then it is quiet. If Bob is smart and Bob is not furry then Bob is not cold. Cold things are smart. If something is kind then it is cold. If something is smart and not kind then it is white.
Anne is kind.
@0: Anne is smart.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] @1: Anne is rough.[(((triple1) -> rule2))] Bob is cold.[(((triple2) -> rule7))] @2: Bob is quiet.[(((((triple2) -> rule7)) -> rule4))] Bob is smart.[(((((triple2) -> rule7)) -> rule6))] @3: Bob is rough.[(((((((triple2) -> rule7)) -> rule6)) -> rule2))]