Anne is green. Anne is kind. Anne is round. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is round. Dave is blue. Dave is quiet. Dave is red. Dave is round. Erin is blue. Erin is green. If someone is red and furry then they are blue. If someone is kind then they are quiet. Quiet, red people are blue. If Erin is furry then Erin is round. If someone is green and kind then they are quiet. If Dave is red then Dave is quiet.
Erin is furry.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is furry.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7)] Charlie is quiet.[(triple8 OR ((triple7) -> rule2) OR ((triple6 triple7) -> rule5))] Charlie is round.[(triple9)] Dave is blue.[(triple10 OR ((triple11 triple12) -> rule3) OR ((((triple12) -> rule6) triple12) -> rule3))] Dave is quiet.[(triple11 OR ((triple12) -> rule6))] Dave is red.[(triple12)] Dave is round.[(triple13)] Erin is blue.[(triple14)] Erin is green.[(triple15)] @1: Anne is quiet.[(((triple2) -> rule2) OR ((triple1 triple2) -> rule5))]