Charlie is green. Charlie is kind. Charlie is nice. Charlie is not red. Charlie is rough. Charlie is white. Charlie is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is not red. Fiona is rough. Fiona is white. Fiona is young. If Charlie is white and Charlie is kind then Charlie is green. All white people are green. If Fiona is rough and Fiona is not young then Fiona is not red. If Fiona is rough then Fiona is nice. If someone is red and not white then they are kind. Nice people are kind. All red people are kind. If someone is nice and not rough then they are kind.
Charlie is not white.
@0: Charlie is green.[(triple1 OR ((triple6) -> rule2) OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple3) -> rule6)) -> rule1))] Charlie is kind.[(triple2 OR ((triple3) -> rule6))] Charlie is nice.[(triple3)] Charlie is not red.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is green.[(triple8 OR ((triple13) -> rule2))] Fiona is kind.[(triple9 OR ((triple10) -> rule6) OR ((((triple12) -> rule4)) -> rule6))] Fiona is nice.[(triple10 OR ((triple12) -> rule4))] Fiona is not red.[(triple11)] Fiona is rough.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14)]