Dave is big. Dave is blue. Dave is young. If something is big and round then it is kind. If something is big and young then it is nice. If something is furry then it is round. If Dave is nice then Dave is big. All big, blue things are round. If Dave is young then Dave is blue.
Dave is big.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple3) -> rule6))] Dave is young.[(triple3)] @1: Dave is nice.[(((triple1 triple3) -> rule2))] Dave is round.[(((triple1 triple2) -> rule5) OR ((triple1 ((triple3) -> rule6)) -> rule5))] @2: Dave is kind.[(((triple1 ((triple1 triple2) -> rule5)) -> rule1) OR ((triple1 ((triple1 ((triple3) -> rule6)) -> rule5)) -> rule1))]