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