Charlie is green. Dave is big. Gary is not smart. All big things are smart. If Dave is big and Dave is smart then Dave is young. If something is big and not smart then it is not young. Rough things are young. Quiet things are green. Big, blue things are green. All young things are blue. If something is quiet then it is blue.
Dave is not rough.
@0: Charlie is green.[(triple1)] Dave is big.[(triple2)] Gary is not smart.[(triple3)] @1: Dave is smart.[(((triple2) -> rule1))] @2: Dave is young.[(((triple2 ((triple2) -> rule1)) -> rule2))] @3: Dave is blue.[(((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule7))] @4: Dave is green.[(((triple2 ((((triple2 ((triple2) -> rule1)) -> rule2)) -> rule7)) -> rule6))]