Bob is kind. Dave is blue. Gary is quiet. If something is kind and furry then it is young. If something is quiet then it is furry. If something is kind and round then it is young. If Gary is quiet then Gary is blue. If something is quiet then it is young. If Dave is young and Dave is quiet then Dave is round. Rough things are young. All furry things are young.
Bob is kind.
@0: Bob is kind.[(triple1)] Dave is blue.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is blue.[(((triple3) -> rule4))] Gary is furry.[(((triple3) -> rule2))] Gary is young.[(((triple3) -> rule5) OR ((((triple3) -> rule2)) -> rule8))]