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