Anne is green. Anne is nice. Anne is rough. Anne is young. Dave is blue. Dave is nice. Dave is smart. Dave is young. Gary is green. Gary is nice. Gary is smart. Gary is young. If someone is white then they are smart. If Anne is green and Anne is blue then Anne is nice. If someone is rough then they are white.
Dave is smart.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4)] Dave is blue.[(triple5)] Dave is nice.[(triple6)] Dave is smart.[(triple7)] Dave is young.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Anne is white.[(((triple3) -> rule3))] @2: Anne is smart.[(((((triple3) -> rule3)) -> rule1))]