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