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