Bob is smart. Dave is nice. If someone is white then they are kind. Kind, nice people are quiet. White, cold people are nice. If someone is kind then they are cold. Quiet, nice people are kind. Nice people are quiet.
Bob is cold.
@0: Bob is smart.[(triple1)] Dave is nice.[(triple2)] @1: Dave is quiet.[(((triple2) -> rule6))] @2: Dave is kind.[(((((triple2) -> rule6) triple2) -> rule5))] @3: Dave is cold.[(((((((triple2) -> rule6) triple2) -> rule5)) -> rule4))]