Erin is blue. Erin is cold. Erin is green. Erin is not quiet. Erin is red. Erin is smart. Erin is white. Gary is blue. Gary is quiet. Gary is not smart. If someone is cold and not quiet then they are smart. If someone is quiet and not blue then they are not smart. All quiet people are white. If someone is blue and smart then they are white. If Erin is red then Erin is green. If Erin is blue and Erin is not white then Erin is red.
Gary is not red.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3 OR ((triple5) -> rule5))] Erin is not quiet.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6 OR ((triple2 triple4) -> rule1))] Erin is white.[(triple7 OR ((triple1 triple6) -> rule4) OR ((triple1 ((triple2 triple4) -> rule1)) -> rule4))] Gary is blue.[(triple8)] Gary is not smart.[(triple10)] Gary is quiet.[(triple9)] @1: Gary is white.[(((triple9) -> rule3))]