Gary is furry. White people are red. If Gary is furry then Gary is not round. Blue people are furry. If someone is white and cold then they are furry. If Gary is nice then Gary is furry. Round people are cold. If someone is furry and not white then they are blue. If someone is white and cold then they are blue.
Gary is not furry.
@0: Gary is furry.[(triple1)] @1: Gary is not round.[(((triple1) -> rule2))]