Anne is blue. Anne is kind. Anne is white. Charlie is quiet. Charlie is round. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is white. Harry is nice. Harry is quiet. If someone is kind and white then they are round. All round people are nice.
Fiona is round.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is white.[(triple3)] Charlie is quiet.[(triple4)] Charlie is round.[(triple5)] Fiona is blue.[(triple6)] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8)] Fiona is round.[(triple9 OR ((triple7 triple10) -> rule1))] Fiona is white.[(triple10)] Harry is nice.[(triple11)] Harry is quiet.[(triple12)] @1: Anne is round.[(((triple2 triple3) -> rule1))] Charlie is nice.[(((triple5) -> rule2))] Fiona is nice.[(((triple9) -> rule2) OR ((((triple7 triple10) -> rule1)) -> rule2))] @2: Anne is nice.[(((((triple2 triple3) -> rule1)) -> rule2))]