Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is round. Gary is young. Furry things are young. If something is red then it is furry.
Gary is kind.
@0: Gary is furry.[(triple1 OR ((triple5) -> rule2))] Gary is kind.[(triple2)] Gary is nice.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7 OR ((triple1) -> rule1) OR ((((triple5) -> rule2)) -> rule1))]