Charlie is blue. Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Red things are kind. If something is kind then it is white. All rough things are red.
Charlie is cold.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3 OR ((triple4) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Charlie is red.[(triple4 OR ((triple5) -> rule3))] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple3) -> rule2) OR ((((triple4) -> rule1)) -> rule2) OR ((((((triple5) -> rule3)) -> rule1)) -> rule2))]