Charlie is blue. Charlie is cold. Charlie is green. Charlie is not nice. Charlie is not red. Charlie is round. Charlie is smart. Nice, cold people are red. If Charlie is green and Charlie is nice then Charlie is not smart. If someone is cold then they are blue.
Charlie is not nice.
@0: Charlie is blue.[(triple1 OR ((triple2) -> rule3))] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is not nice.[(triple4)] Charlie is not red.[(triple5)] Charlie is round.[(triple6)] Charlie is smart.[(triple7)]