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