Anne is quiet. Anne is round. Erin is cold. Harry is cold. Harry is furry. Harry is round. Harry is young. Nice, red things are round. Young things are quiet. All round, red things are quiet. If Erin is round then Erin is red. If something is young and round then it is cold. All quiet things are nice. All young, red things are quiet. If Erin is nice then Erin is red.
Harry is furry.
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2)] Erin is cold.[(triple3)] Harry is cold.[(triple4 OR ((triple7 triple6) -> rule5))] Harry is furry.[(triple5)] Harry is round.[(triple6)] Harry is young.[(triple7)] @1: Anne is nice.[(((triple1) -> rule6))] Harry is quiet.[(((triple7) -> rule2))] @2: Harry is nice.[(((((triple7) -> rule2)) -> rule6))]