Anne is smart. Bob is furry. Charlie is cold. All young things are red. If something is red and not round then it is furry. Furry things are young. If something is round and not furry then it is cold. All young things are cold. If something is furry and not cold then it is kind. Furry, round things are kind. If something is round and not kind then it is smart.
Bob is not young.
@0: Anne is smart.[(triple1)] Bob is furry.[(triple2)] Charlie is cold.[(triple3)] @1: Bob is young.[(((triple2) -> rule3))] @2: Bob is cold.[(((((triple2) -> rule3)) -> rule5))] Bob is red.[(((((triple2) -> rule3)) -> rule1))]