Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is white. Erin is blue. Erin is green. Erin is kind. Erin is rough. Erin is white. Fiona is cold. Fiona is green. Fiona is rough. Fiona is smart. Fiona is white. If Anne is cold and Anne is kind then Anne is rough. If someone is kind and cold then they are white. If someone is rough and smart then they are kind.
Anne is not white.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is white.[(triple5 OR ((triple4 triple2) -> rule2))] Erin is blue.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is rough.[(triple9)] Erin is white.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple12)] Fiona is rough.[(triple13)] Fiona is smart.[(triple14)] Fiona is white.[(triple15 OR ((((triple13 triple14) -> rule3) triple11) -> rule2))] @1: Anne is rough.[(((triple2 triple4) -> rule1))] Fiona is kind.[(((triple13 triple14) -> rule3))]