Anne is blue. Anne is cold. Anne is green. Anne is kind. Erin is cold. Erin is kind. Erin is quiet. Erin is white. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is rough. All green things are kind. All cold, kind things are blue.
Fiona is not kind.
@0: Anne is blue.[(triple1 OR ((triple2 triple4) -> rule2) OR ((triple2 ((triple3) -> rule1)) -> rule2))] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple3) -> rule1))] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Erin is quiet.[(triple7)] Erin is white.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is quiet.[(triple11)] Fiona is rough.[(triple12)] @1: Erin is blue.[(((triple5 triple6) -> rule2))] Fiona is kind.[(((triple10) -> rule1))] @2: Fiona is blue.[(((triple9 ((triple10) -> rule1)) -> rule2))]