Anne is smart. Charlie is nice. Charlie is white. Dave is not young. Fiona is green. Fiona is nice. Fiona is white. Nice people are not young. All nice, white people are rough. Rough people are red.
Fiona is not rough.
@0: Anne is smart.[(triple1)] Charlie is nice.[(triple2)] Charlie is white.[(triple3)] Dave is not young.[(triple4)] Fiona is green.[(triple5)] Fiona is nice.[(triple6)] Fiona is white.[(triple7)] @1: Charlie is not young.[(((triple2) -> rule1))] Charlie is rough.[(((triple2 triple3) -> rule2))] Fiona is not young.[(((triple6) -> rule1))] Fiona is rough.[(((triple6 triple7) -> rule2))] @2: Charlie is red.[(((((triple2 triple3) -> rule2)) -> rule3))] Fiona is red.[(((((triple6 triple7) -> rule2)) -> rule3))]