Dave is furry. Gary is nice. Gary is young. If Dave is furry then Dave is blue. All blue people are round. Blue, round people are red. Red, round people are furry. Young, kind people are nice. If Gary is young then Gary is kind.
Dave is round.
@0: Dave is furry.[(triple1)] Gary is nice.[(triple2 OR ((triple3 ((triple3) -> rule6)) -> rule5))] Gary is young.[(triple3)] @1: Dave is blue.[(((triple1) -> rule1))] Gary is kind.[(((triple3) -> rule6))] @2: Dave is round.[(((((triple1) -> rule1)) -> rule2))] @3: Dave is red.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule2)) -> rule3))]