Dave is kind. If something is green then it is blue. All kind things are young. If Dave is kind and Dave is young then Dave is green. Young, quiet things are furry. Quiet things are furry. If something is quiet and green then it is kind. All kind things are blue. Blue, young things are smart.
Dave is quiet.
@0: Dave is kind.[(triple1)] @1: Dave is blue.[(((triple1) -> rule7) OR ((((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1))] Dave is young.[(((triple1) -> rule2))] @2: Dave is green.[(((triple1 ((triple1) -> rule2)) -> rule3))] Dave is smart.[(((((triple1) -> rule7) ((triple1) -> rule2)) -> rule8) OR ((((((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1) ((triple1) -> rule2)) -> rule8))]