Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. All smart people are cold.
Charlie is green.
@0: Charlie is cold.[(triple1 OR ((triple6) -> rule1))] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]