Anne is green. Anne is nice. Anne is round. Erin is round. Fiona is quiet. Harry is kind. Harry is round. Quiet things are kind. If something is red and kind then it is quiet. Green things are kind. If something is round then it is quiet. All furry, green things are red. If Erin is red then Erin is round.
Fiona is furry.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Erin is round.[(triple4)] Fiona is quiet.[(triple5)] Harry is kind.[(triple6 OR ((((triple7) -> rule4)) -> rule1))] Harry is round.[(triple7)] @1: Anne is kind.[(((triple1) -> rule3) OR ((((triple3) -> rule4)) -> rule1))] Anne is quiet.[(((triple3) -> rule4))] Erin is quiet.[(((triple4) -> rule4))] Fiona is kind.[(((triple5) -> rule1))] Harry is quiet.[(((triple7) -> rule4))] @2: Erin is kind.[(((((triple4) -> rule4)) -> rule1))]