Anne is big. Anne is cold. Anne is not furry. Anne is not green. Anne is not red. Anne is rough. Anne is white. Big, green people are white. Red people are cold. All white people are rough. If someone is big then they are rough. All red people are rough. All red people are big. If someone is red and not green then they are not big. If someone is cold and not green then they are not furry.
Anne is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not furry.[(triple3 OR ((triple2 triple4) -> rule8))] Anne is not green.[(triple4)] Anne is not red.[(triple5)] Anne is rough.[(triple6 OR ((triple1) -> rule4) OR ((triple7) -> rule3))] Anne is white.[(triple7)]