Charlie is not red. Erin is red. Gary is cold. If Gary is red then Gary is not round. If Erin is quiet and Erin is white then Erin is cold. If Gary is smart then Gary is not quiet. Smart things are white. All red things are smart. If Gary is not smart and Gary is not quiet then Gary is not white. If something is red and blue then it is round. If something is white then it is round.
Erin is not smart.
@0: Charlie is not red.[(triple1)] Erin is red.[(triple2)] Gary is cold.[(triple3)] @1: Erin is smart.[(((triple2) -> rule5))] @2: Erin is white.[(((((triple2) -> rule5)) -> rule4))] @3: Erin is round.[(((((((triple2) -> rule5)) -> rule4)) -> rule8))]