Charlie is green. Charlie is kind. Erin is big. Erin is blue. Erin is not furry. Erin is kind. Erin is round. Erin is smart. Harry is not big. Harry is not furry. Harry is green. Harry is smart. Big people are smart.
Erin is green.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is kind.[(triple6)] Erin is not furry.[(triple5)] Erin is round.[(triple7)] Erin is smart.[(triple8 OR ((triple3) -> rule1))] Harry is green.[(triple11)] Harry is not big.[(triple9)] Harry is not furry.[(triple10)] Harry is smart.[(triple12)]