Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is white. If Charlie is blue and Charlie is nice then Charlie is green.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple1 triple5) -> rule1))] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is white.[(triple7)]