Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is quiet. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is round. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is round. All quiet, blue people are green. All furry, cold people are blue. Green people are nice.
Fiona is green.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple5 triple1) -> rule1))] Anne is nice.[(triple4 OR ((triple3) -> rule3) OR ((((triple5 triple1) -> rule1)) -> rule3))] Anne is quiet.[(triple5)] Charlie is blue.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8 OR ((triple10 triple6) -> rule1))] Charlie is nice.[(triple9 OR ((triple8) -> rule3) OR ((((triple10 triple6) -> rule1)) -> rule3))] Charlie is quiet.[(triple10)] Charlie is round.[(triple11)] Fiona is cold.[(triple12)] Fiona is furry.[(triple13)] Fiona is quiet.[(triple14)] Fiona is round.[(triple15)] @1: Fiona is blue.[(((triple13 triple12) -> rule2))] @2: Fiona is green.[(((triple14 ((triple13 triple12) -> rule2)) -> rule1))] @3: Fiona is nice.[(((((triple14 ((triple13 triple12) -> rule2)) -> rule1)) -> rule3))]