Anne is blue. Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is rough. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is nice. Fiona is green. Fiona is kind. Fiona is nice. Fiona is rough. All rough things are round. All rough, green things are cold. Kind, blue things are rough.
Fiona is not nice.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple6 triple3) -> rule2) OR ((((triple4 triple1) -> rule3) triple3) -> rule2))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is rough.[(triple6 OR ((triple4 triple1) -> rule3))] Dave is blue.[(triple7)] Dave is cold.[(triple8 OR ((((triple10 triple7) -> rule3) triple9) -> rule2))] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is nice.[(triple11)] Fiona is green.[(triple12)] Fiona is kind.[(triple13)] Fiona is nice.[(triple14)] Fiona is rough.[(triple15)] @1: Anne is round.[(((triple6) -> rule1) OR ((((triple4 triple1) -> rule3)) -> rule1))] Dave is rough.[(((triple10 triple7) -> rule3))] Fiona is cold.[(((triple15 triple12) -> rule2))] Fiona is round.[(((triple15) -> rule1))] @2: Dave is round.[(((((triple10 triple7) -> rule3)) -> rule1))]