Dave is blue. Dave is red. Dave is young. All round, rough things are blue. All quiet things are red. If Dave is quiet then Dave is rough. Young, rough things are round. All red things are rough. If Dave is round and Dave is blue then Dave is green.
Dave is green.
@0: Dave is blue.[(triple1 OR ((((triple3 ((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule1))] Dave is red.[(triple2)] Dave is young.[(triple3)] @1: Dave is rough.[(((triple2) -> rule5))] @2: Dave is round.[(((triple3 ((triple2) -> rule5)) -> rule4))] @3: Dave is green.[(((((triple3 ((triple2) -> rule5)) -> rule4) triple1) -> rule6) OR ((((triple3 ((triple2) -> rule5)) -> rule4) ((((triple3 ((triple2) -> rule5)) -> rule4) ((triple2) -> rule5)) -> rule1)) -> rule6))]