Bob is round. Dave is young. Erin is blue. All blue, cold things are rough. All quiet things are blue. Young, rough things are cold. All white things are quiet. If something is cold and young then it is blue. Young things are white.
Dave is young.
@0: Bob is round.[(triple1)] Dave is young.[(triple2)] Erin is blue.[(triple3)] @1: Dave is white.[(((triple2) -> rule6))] @2: Dave is quiet.[(((((triple2) -> rule6)) -> rule4))] @3: Dave is blue.[(((((((triple2) -> rule6)) -> rule4)) -> rule2))]