Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Dave is green. Dave is rough. All rough people are nice. All white people are red. If Charlie is nice and Charlie is kind then Charlie is rough. Rough people are nice. Blue, kind people are red. All green people are kind.
Charlie is white.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3 OR ((triple5) -> rule1) OR ((triple5) -> rule4))] Charlie is red.[(triple4 OR ((triple1 ((triple2) -> rule6)) -> rule5))] Charlie is rough.[(triple5 OR ((triple3 ((triple2) -> rule6)) -> rule3))] Dave is green.[(triple6)] Dave is rough.[(triple7)] @1: Charlie is kind.[(((triple2) -> rule6))] Dave is kind.[(((triple6) -> rule6))] Dave is nice.[(((triple7) -> rule1) OR ((triple7) -> rule4))]