Anne is round. Anne is white. Bob is round. Bob is young. Fiona is rough. Fiona is white. Fiona is young. All round, young things are green. Young, white things are round. If Bob is young then Bob is white. If something is white then it is rough. All green, rough things are round. Round, rough things are young. All young, red things are green. If Anne is rough and Anne is red then Anne is round.
Fiona is nice.
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Bob is round.[(triple3 OR ((triple4 ((triple4) -> rule3)) -> rule2))] Bob is young.[(triple4)] Fiona is rough.[(triple5 OR ((triple6) -> rule4))] Fiona is white.[(triple6)] Fiona is young.[(triple7)] @1: Anne is rough.[(((triple2) -> rule4))] Bob is green.[(((triple3 triple4) -> rule1) OR ((((triple4 ((triple4) -> rule3)) -> rule2) triple4) -> rule1))] Bob is white.[(((triple4) -> rule3))] Fiona is round.[(((triple7 triple6) -> rule2))] @2: Anne is young.[(((triple1 ((triple2) -> rule4)) -> rule6))] Bob is rough.[(((((triple4) -> rule3)) -> rule4))] Fiona is green.[(((((triple7 triple6) -> rule2) triple7) -> rule1))] @3: Anne is green.[(((triple1 ((triple1 ((triple2) -> rule4)) -> rule6)) -> rule1))]