Charlie is cold. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Charlie is white. Furry, kind people are cold.
Charlie is not green.
@0: Charlie is cold.[(triple1 OR ((triple2 triple4) -> rule1))] Charlie is furry.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]