Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is quiet. Gary is white. Gary is young. If something is nice and furry then it is kind. If something is kind and nice then it is young. Nice, kind things are young.
Gary is not nice.
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is kind.[(triple3 OR ((triple4 triple1) -> rule1))] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Gary is white.[(triple6)] Gary is young.[(triple7 OR ((triple3 triple4) -> rule2) OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple4 triple1) -> rule1)) -> rule3) OR ((((triple4 triple1) -> rule1) triple4) -> rule2))]