Anne is quiet. Bob is quiet. Dave is cold. Blue, white things are cold. Green things are big. All quiet things are cold. Cold, quiet things are kind. All quiet, kind things are blue. Blue things are cold. Blue things are cold. If something is big then it is cold.
Anne is not blue.
@0: Anne is quiet.[(triple1)] Bob is quiet.[(triple2)] Dave is cold.[(triple3)] @1: Anne is cold.[(((triple1) -> rule3))] Bob is cold.[(((triple2) -> rule3))] @2: Anne is kind.[(((((triple1) -> rule3) triple1) -> rule4))] Bob is kind.[(((((triple2) -> rule3) triple2) -> rule4))] @3: Anne is blue.[(((triple1 ((((triple1) -> rule3) triple1) -> rule4)) -> rule5))] Bob is blue.[(((triple2 ((((triple2) -> rule3) triple2) -> rule4)) -> rule5))]