Charlie is big. Charlie is blue. Charlie is not furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is round. Erin is big. Erin is blue. Erin is not furry. Erin is kind. Erin is quiet. If someone is quiet and not furry then they are kind. If someone is furry then they are big. All furry people are nice.
Erin is not nice.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple4 OR ((triple6 triple3) -> rule1))] Charlie is nice.[(triple5)] Charlie is not furry.[(triple3)] Charlie is quiet.[(triple6)] Charlie is round.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is kind.[(triple11 OR ((triple12 triple10) -> rule1))] Erin is not furry.[(triple10)] Erin is quiet.[(triple12)]