Anne is furry. Anne is quiet. Charlie is not cold. Charlie is red. Charlie is round. Charlie is not young. Erin is not cold. Erin is young. Harry is blue. Harry is quiet. Harry is round. Harry is young. Quiet people are blue. Young people are blue. If someone is blue then they are quiet.
Erin is not blue.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2)] Charlie is not cold.[(triple3)] Charlie is not young.[(triple6)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Erin is not cold.[(triple7)] Erin is young.[(triple8)] Harry is blue.[(triple9 OR ((triple10) -> rule1) OR ((triple12) -> rule2))] Harry is quiet.[(triple10 OR ((triple9) -> rule3) OR ((((triple12) -> rule2)) -> rule3))] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Anne is blue.[(((triple2) -> rule1))] Erin is blue.[(((triple8) -> rule2))] @2: Erin is quiet.[(((((triple8) -> rule2)) -> rule3))]