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 not smart.
@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)]