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