Charlie is white. Dave is quiet. Erin is quiet. Gary is cold. All big things are cold. All white things are red. Quiet, red things are white. If something is big then it is quiet. If Gary is big and Gary is blue then Gary is smart. White, cold things are blue. If something is quiet then it is white. If Erin is smart and Erin is quiet then Erin is blue.
Erin is red.
@0: Charlie is white.[(triple1)] Dave is quiet.[(triple2)] Erin is quiet.[(triple3)] Gary is cold.[(triple4)] @1: Charlie is red.[(((triple1) -> rule2))] Dave is white.[(((triple2) -> rule7))] Erin is white.[(((triple3) -> rule7))] @2: Dave is red.[(((((triple2) -> rule7)) -> rule2))] Erin is red.[(((((triple3) -> rule7)) -> rule2))]