Anne is cold. Anne is furry. Anne is nice. Anne is rough. Erin is furry. Erin is green. Erin is nice. Erin is rough. Erin is smart. Erin is white. Fiona is cold. Fiona is smart. All rough, green things are smart. All smart things are white. If something is furry then it is green.
Fiona is not green.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Erin is furry.[(triple5)] Erin is green.[(triple6 OR ((triple5) -> rule3))] Erin is nice.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9 OR ((triple8 triple6) -> rule1) OR ((triple8 ((triple5) -> rule3)) -> rule1))] Erin is white.[(triple10 OR ((triple9) -> rule2) OR ((((triple8 triple6) -> rule1)) -> rule2) OR ((((triple8 ((triple5) -> rule3)) -> rule1)) -> rule2))] Fiona is cold.[(triple11)] Fiona is smart.[(triple12)] @1: Anne is green.[(((triple2) -> rule3))] Fiona is white.[(((triple12) -> rule2))] @2: Anne is smart.[(((triple4 ((triple2) -> rule3)) -> rule1))] @3: Anne is white.[(((((triple4 ((triple2) -> rule3)) -> rule1)) -> rule2))]