Gary is furry. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is young. If someone is kind and red then they are young. Young, quiet people are nice.
Gary is not quiet.
@0: Gary is furry.[(triple1)] Gary is kind.[(triple2)] Gary is nice.[(triple3 OR ((triple7 triple4) -> rule2) OR ((((triple2 triple5) -> rule1) triple4) -> rule2))] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is young.[(triple7 OR ((triple2 triple5) -> rule1))]