Anne is cold. Anne is quiet. Fiona is quiet. Fiona is red. Fiona is white. Harry is round. Harry is white. Quiet, white things are young. All round, young things are cold. All cold, white things are rough. If something is quiet and red then it is white. All red, young things are rough. Young things are red.
Anne is round.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4 OR ((((triple3 triple5) -> rule1)) -> rule6))] Fiona is white.[(triple5 OR ((triple3 triple4) -> rule4))] Harry is round.[(triple6)] Harry is white.[(triple7)] @1: Fiona is young.[(((triple3 triple5) -> rule1) OR ((triple3 ((triple3 triple4) -> rule4)) -> rule1))] @2: Fiona is rough.[(((triple4 ((triple3 triple5) -> rule1)) -> rule5) OR ((triple4 ((triple3 ((triple3 triple4) -> rule4)) -> rule1)) -> rule5) OR ((((((triple3 triple5) -> rule1)) -> rule6) ((triple3 triple5) -> rule1)) -> rule5) OR ((((((triple3 triple5) -> rule1)) -> rule6) ((triple3 ((triple3 triple4) -> rule4)) -> rule1)) -> rule5))]