Anne is rough. Anne is young. Dave is young. Fiona is green. Fiona is kind. Fiona is young. Harry is white. White, green things are young. If Dave is big then Dave is kind. If Anne is green and Anne is white then Anne is blue. White, blue things are green. All white, rough things are kind. All young, green things are blue. All young things are white. Rough, green things are young.
Anne is rough.
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Dave is young.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is young.[(triple6)] Harry is white.[(triple7)] @1: Anne is white.[(((triple2) -> rule7))] Dave is white.[(((triple3) -> rule7))] Fiona is blue.[(((triple6 triple4) -> rule6))] Fiona is white.[(((triple6) -> rule7))] @2: Anne is kind.[(((((triple2) -> rule7) triple1) -> rule5))]