Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Gary is blue. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is white. If Charlie is nice and Charlie is red then Charlie is green. All white, kind people are red. Green people are nice.
Gary is green.
@0: Charlie is green.[(triple1 OR ((triple3 triple4) -> rule1) OR ((triple3 ((triple6 triple2) -> rule2)) -> rule1))] Charlie is kind.[(triple2)] Charlie is nice.[(triple3 OR ((triple1) -> rule3))] Charlie is red.[(triple4 OR ((triple6 triple2) -> rule2))] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10 OR ((triple8) -> rule3))] Gary is red.[(triple11 OR ((triple12 triple9) -> rule2))] Gary is white.[(triple12)]