Charlie is blue. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. All green, blue people are white. If someone is blue then they are white. All white, kind people are green.
Charlie is white.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2 OR ((triple7 triple3) -> rule3) OR ((((triple1) -> rule2) triple3) -> rule3))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple1) -> rule2) OR ((triple2 triple1) -> rule1))]