Anne is green. Bob is smart. Dave is quiet. Gary is red. Red things are quiet. Smart things are white. All smart, green things are cold. If something is green then it is red. White things are green. Cold, red things are white. All smart, quiet things are white. White things are young.
Dave is smart.
@0: Anne is green.[(triple1)] Bob is smart.[(triple2)] Dave is quiet.[(triple3)] Gary is red.[(triple4)] @1: Anne is red.[(((triple1) -> rule4))] Bob is white.[(((triple2) -> rule2))] Gary is quiet.[(((triple4) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule4)) -> rule1))] Bob is green.[(((((triple2) -> rule2)) -> rule5))] Bob is young.[(((((triple2) -> rule2)) -> rule8))] @3: Bob is cold.[(((triple2 ((((triple2) -> rule2)) -> rule5)) -> rule3))] Bob is red.[(((((((triple2) -> rule2)) -> rule5)) -> rule4))] @4: Bob is quiet.[(((((((((triple2) -> rule2)) -> rule5)) -> rule4)) -> rule1))]