Charlie is blue. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is young. Erin is furry. Erin is red. Harry is blue. Harry is furry. Harry is nice. Harry is quiet. Harry is red. Harry is round. Harry is young. Red, young things are nice. If something is furry then it is young. If something is red then it is nice.
Erin is not quiet.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3 OR ((triple4) -> rule3) OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple2) -> rule2)) -> rule1))] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is young.[(triple6 OR ((triple2) -> rule2))] Erin is furry.[(triple7)] Erin is red.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11 OR ((triple13) -> rule3) OR ((triple13 triple15) -> rule1) OR ((triple13 ((triple10) -> rule2)) -> rule1))] Harry is quiet.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14)] Harry is young.[(triple15 OR ((triple10) -> rule2))] @1: Erin is nice.[(((triple8) -> rule3) OR ((triple8 ((triple7) -> rule2)) -> rule1))] Erin is young.[(((triple7) -> rule2))]