Charlie is big. Charlie is furry. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Harry is big. Harry is furry. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is smart. If Harry is kind then Harry is smart. All red people are furry.
Charlie is not red.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2 OR ((triple4) -> rule2))] Charlie is kind.[(triple3)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)] Harry is big.[(triple8)] Harry is furry.[(triple9 OR ((triple11) -> rule2))] Harry is kind.[(triple10)] Harry is red.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)] Harry is smart.[(triple14 OR ((triple10) -> rule1))]