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