Charlie is blue. Charlie is not furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Charlie is young. Erin is blue. Erin is furry. Erin is green. Erin is kind. Erin is round. If something is kind and red then it is blue. If something is kind and not blue then it is round.
Erin is not red.
@0: Charlie is blue.[(triple1 OR ((triple4 triple5) -> rule1))] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is not furry.[(triple2)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Erin is blue.[(triple8)] Erin is furry.[(triple9)] Erin is green.[(triple10)] Erin is kind.[(triple11)] Erin is round.[(triple12)]