Gary is blue. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Gary is young. All red, young people are kind.
Gary is kind.
@0: Gary is blue.[(triple1)] Gary is furry.[(triple2)] Gary is kind.[(triple3 OR ((triple5 triple7) -> rule1))] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Gary is young.[(triple7)]