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