Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is not nice. Charlie is red. Charlie is rough. Cold things are blue. If something is kind and not cold then it is not nice.
Charlie is not blue.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule1))] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is not nice.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)]