Charlie is cold. Charlie is nice. Charlie is red. If Charlie is nice then Charlie is red.
Charlie is not blue.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3 OR ((triple2) -> rule1))]