Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is round. Anne is white. Anne is young. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. Red, kind people are green. All rough, young people are red. All green, red people are rough.
Anne is not red.
@0: Anne is green.[(triple1 OR ((triple3 triple2) -> rule1) OR ((((triple4 triple7) -> rule2) triple2) -> rule1))] Anne is kind.[(triple2)] Anne is red.[(triple3 OR ((triple4 triple7) -> rule2))] Anne is rough.[(triple4 OR ((triple1 triple3) -> rule3) OR ((((triple3 triple2) -> rule1) triple3) -> rule3))] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Fiona is green.[(triple8 OR ((triple10 triple9) -> rule1) OR ((((triple11 triple14) -> rule2) triple9) -> rule1))] Fiona is kind.[(triple9)] Fiona is red.[(triple10 OR ((triple11 triple14) -> rule2))] Fiona is rough.[(triple11 OR ((triple8 triple10) -> rule3) OR ((((triple10 triple9) -> rule1) triple10) -> rule3))] Fiona is round.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14)]