Anne is blue. Anne is cold. Bob is big. Bob is blue. Bob is cold. Bob is kind. Bob is smart. Erin is big. Erin is blue. Erin is cold. Erin is smart. Gary is blue. All cold people are white. If Anne is big and Anne is white then Anne is cold.
Gary is cold.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Bob is big.[(triple3)] Bob is blue.[(triple4)] Bob is cold.[(triple5)] Bob is kind.[(triple6)] Bob is smart.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is smart.[(triple11)] Gary is blue.[(triple12)] @1: Anne is white.[(((triple2) -> rule1))] Bob is white.[(((triple5) -> rule1))] Erin is white.[(((triple10) -> rule1))]