Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Fiona is blue. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Smart people are nice. Rough, blue people are white. If Charlie is nice then Charlie is blue.
Fiona is smart.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] Charlie is green.[(triple2)] Charlie is nice.[(triple3 OR ((triple6) -> rule1))] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7 OR ((triple5 triple1) -> rule2) OR ((triple5 ((triple3) -> rule3)) -> rule2) OR ((triple5 ((((triple6) -> rule1)) -> rule3)) -> rule2))] Fiona is blue.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10 OR ((triple13) -> rule1))] Fiona is red.[(triple11)] Fiona is rough.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14 OR ((triple12 triple8) -> rule2))]