Anne is big. Anne is green. Anne is nice. Anne is smart. Anne is white. Anne is young. Dave is nice. Dave is smart. Dave is white. Dave is young. Gary is not smart. Gary is white. Nice, big people are green. All big people are green.
Dave is not green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple1) -> rule2) OR ((triple3 triple1) -> rule1))] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)] Gary is not smart.[(triple11)] Gary is white.[(triple12)]