Bob is red. Dave is big. All big, red things are cold. All big things are cold. If something is big then it is young. Big, red things are young. If something is smart then it is cold. All quiet things are red. If something is young then it is quiet. If Dave is quiet and Dave is young then Dave is green.
Bob is quiet.
@0: Bob is red.[(triple1)] Dave is big.[(triple2)] @1: Dave is cold.[(((triple2) -> rule2) OR ((triple2 ((((((triple2) -> rule3)) -> rule7)) -> rule6)) -> rule1))] Dave is young.[(((triple2) -> rule3))] @2: Dave is quiet.[(((((triple2) -> rule3)) -> rule7))] @3: Dave is green.[(((((((triple2) -> rule3)) -> rule7) ((triple2) -> rule3)) -> rule8))] Dave is red.[(((((((triple2) -> rule3)) -> rule7)) -> rule6))]