Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is round. If someone is big and round then they are nice.
Charlie is not kind.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5 OR ((triple1 triple7) -> rule1))] Charlie is rough.[(triple6)] Charlie is round.[(triple7)]