Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Erin is cold. Erin is quiet. Erin is red. Erin is smart. Harry is cold. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Kind people are smart.
Erin is not furry.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((triple3) -> rule1))] Erin is cold.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9)] Erin is smart.[(triple10)] Harry is cold.[(triple11)] Harry is kind.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is smart.[(triple15 OR ((triple12) -> rule1))]