Bob is smart. Bob is white. Erin is blue. Erin is red. Erin is white. Gary is blue. Gary is white. If something is quiet then it is white. If something is red then it is smart. If Erin is smart and Erin is quiet then Erin is blue. If Bob is white and Bob is blue then Bob is quiet. If Gary is green and Gary is quiet then Gary is smart. If Erin is green and Erin is cold then Erin is white.
Bob is not quiet.
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Erin is blue.[(triple3)] Erin is red.[(triple4)] Erin is white.[(triple5)] Gary is blue.[(triple6)] Gary is white.[(triple7)] @1: Erin is smart.[(((triple4) -> rule2))]