Bob is red. Dave is smart. Fiona is rough. Blue, rough things are red. All blue, rough things are cold. All young things are smart. If something is blue then it is rough. If something is smart then it is blue. If Bob is cold and Bob is smart then Bob is rough. All smart, kind things are rough. If something is rough and blue then it is red.
Fiona is young.
@0: Bob is red.[(triple1)] Dave is smart.[(triple2)] Fiona is rough.[(triple3)] @1: Dave is blue.[(((triple2) -> rule5))] @2: Dave is rough.[(((((triple2) -> rule5)) -> rule4))] @3: Dave is cold.[(((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule4)) -> rule2))] Dave is red.[(((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule4)) -> rule1) OR ((((((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule8))]