Erin is smart. Gary is blue. All cold people are quiet. If someone is furry and nice then they are cold. If someone is red then they are quiet. Furry, red people are nice. Blue people are nice. If someone is quiet then they are nice. Cold people are blue. If someone is furry and smart then they are blue.
Gary is not quiet.
@0: Erin is smart.[(triple1)] Gary is blue.[(triple2)] @1: Gary is nice.[(((triple2) -> rule5))]