Bob is kind. Bob is red. Bob is rough. Bob is young. Charlie is green. Charlie is nice. Erin is green. Erin is kind. Erin is nice. Erin is rough. Erin is young. Fiona is green. Fiona is nice. Fiona is rough. Fiona is white. All red people are kind. Rough people are white.
Erin is green.
@0: Bob is kind.[(triple1 OR ((triple2) -> rule1))] Bob is red.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Charlie is green.[(triple5)] Charlie is nice.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is rough.[(triple10)] Erin is young.[(triple11)] Fiona is green.[(triple12)] Fiona is nice.[(triple13)] Fiona is rough.[(triple14)] Fiona is white.[(triple15 OR ((triple14) -> rule2))] @1: Bob is white.[(((triple3) -> rule2))] Erin is white.[(((triple10) -> rule2))]