Anne is big. Anne is green. Anne is nice. Anne is red. Anne is round. Fiona is green. Fiona is white. All nice people are round. All white people are nice.
Fiona is not quiet.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5 OR ((triple3) -> rule1))] Fiona is green.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is nice.[(((triple7) -> rule2))] @2: Fiona is round.[(((((triple7) -> rule2)) -> rule1))]