Anne is kind. Bob is red. Bob is smart. All red people are quiet. If someone is kind then they are quiet. If Bob is cold then Bob is red. Smart, round people are blue. All cold people are blue. If Bob is quiet then Bob is round.
Bob is not kind.
@0: Anne is kind.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule2))] Bob is quiet.[(((triple2) -> rule1))] @2: Bob is round.[(((((triple2) -> rule1)) -> rule6))] @3: Bob is blue.[(((triple3 ((((triple2) -> rule1)) -> rule6)) -> rule4))]