Anne is big. Anne is not cold. Anne is green. Anne is not white. Gary is big. Gary is not cold. Gary is furry. Gary is green. Gary is smart. Gary is white. Harry is big. Harry is blue. Harry is furry. Harry is not green. Harry is smart. If something is smart and not green then it is white.
Anne is white.
@0: Anne is big.[(triple1)] Anne is green.[(triple3)] Anne is not cold.[(triple2)] Anne is not white.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple7)] Gary is green.[(triple8)] Gary is not cold.[(triple6)] Gary is smart.[(triple9)] Gary is white.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is furry.[(triple13)] Harry is not green.[(triple14)] Harry is smart.[(triple15)] @1: Harry is white.[(((triple15 triple14) -> rule1))]