Dave is red. Harry is cold. All red people are cold. If someone is red then they are quiet. Cold people are red. If Harry is green then Harry is cold. If Harry is green then Harry is red. All quiet people are smart.
Dave is blue.
@0: Dave is red.[(triple1)] Harry is cold.[(triple2)] @1: Dave is cold.[(((triple1) -> rule1))] Dave is quiet.[(((triple1) -> rule2))] Harry is red.[(((triple2) -> rule3))] @2: Dave is smart.[(((((triple1) -> rule2)) -> rule6))] Harry is quiet.[(((((triple2) -> rule3)) -> rule2))] @3: Harry is smart.[(((((((triple2) -> rule3)) -> rule2)) -> rule6))]