Anne is big. Anne is cold. Anne is nice. Anne is not young. Bob is blue. Bob is not cold. Gary is big. Gary is blue. Gary is not cold. Gary is nice. Gary is white. Gary is young. All cold things are white. If something is cold and not young then it is white. If something is cold and not nice then it is white.
Bob is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is not young.[(triple4)] Bob is blue.[(triple5)] Bob is not cold.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is nice.[(triple10)] Gary is not cold.[(triple9)] Gary is white.[(triple11)] Gary is young.[(triple12)] @1: Anne is white.[(((triple2) -> rule1) OR ((triple2 triple4) -> rule2))]