Bob is green. Bob is nice. Bob is rough. Bob is young. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is white. Charlie is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is young. If something is rough and white then it is kind. If Bob is green then Bob is white.
Bob is red.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6 OR ((triple8 triple9) -> rule1))] Charlie is nice.[(triple7)] Charlie is rough.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] Fiona is green.[(triple11)] Fiona is kind.[(triple12)] Fiona is nice.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is young.[(triple16)] @1: Bob is white.[(((triple1) -> rule2))] @2: Bob is kind.[(((triple3 ((triple1) -> rule2)) -> rule1))]