Bob is blue. Charlie is green. Dave is kind. If something is green then it is cold. Smart things are blue. If Dave is cold and Dave is quiet then Dave is smart. All kind, white things are quiet. If Charlie is cold then Charlie is kind. Cold, kind things are quiet.
Charlie is not white.
@0: Bob is blue.[(triple1)] Charlie is green.[(triple2)] Dave is kind.[(triple3)] @1: Charlie is cold.[(((triple2) -> rule1))] @2: Charlie is kind.[(((((triple2) -> rule1)) -> rule5))] @3: Charlie is quiet.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule5)) -> rule6))]