Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is quiet. Anne is rough. Anne is white. Gary is not big. Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is rough. Gary is white. If something is quiet and not white then it is not blue. If something is blue and quiet then it is nice.
Anne is nice.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is nice.[(triple4 OR ((triple2 triple5) -> rule2))] Anne is quiet.[(triple5)] Anne is rough.[(triple6)] Anne is white.[(triple7)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is nice.[(triple11 OR ((triple9 triple12) -> rule2))] Gary is not big.[(triple8)] Gary is quiet.[(triple12)] Gary is rough.[(triple13)] Gary is white.[(triple14)]