Charlie is furry. Charlie is green. Charlie is quiet. Erin is quiet. Erin is red. Erin is young. Fiona is furry. Fiona is nice. Fiona is red. Fiona is young. Harry is green. Harry is nice. If something is young then it is quiet. If something is quiet then it is round. If something is red then it is quiet. If Harry is nice then Harry is young. If Harry is green then Harry is red. All red things are furry.
Charlie is not red.
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is quiet.[(triple3)] Erin is quiet.[(triple4 OR ((triple5) -> rule3) OR ((triple6) -> rule1))] Erin is red.[(triple5)] Erin is young.[(triple6)] Fiona is furry.[(triple7 OR ((triple9) -> rule6))] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is young.[(triple10)] Harry is green.[(triple11)] Harry is nice.[(triple12)] @1: Charlie is round.[(((triple3) -> rule2))] Erin is furry.[(((triple5) -> rule6))] Erin is round.[(((triple4) -> rule2) OR ((((triple5) -> rule3)) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] Fiona is quiet.[(((triple10) -> rule1) OR ((triple9) -> rule3))] Harry is red.[(((triple11) -> rule5))] Harry is young.[(((triple12) -> rule4))] @2: Fiona is round.[(((((triple10) -> rule1)) -> rule2) OR ((((triple9) -> rule3)) -> rule2))] Harry is furry.[(((((triple11) -> rule5)) -> rule6))] Harry is quiet.[(((((triple11) -> rule5)) -> rule3) OR ((((triple12) -> rule4)) -> rule1))] @3: Harry is round.[(((((((triple11) -> rule5)) -> rule3)) -> rule2) OR ((((((triple12) -> rule4)) -> rule1)) -> rule2))]