Anne is big. Anne is not green. Anne is nice. Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is smart. Dave is young. Gary is big. Gary is not furry. Gary is green. Gary is kind. Gary is nice. Gary is not smart. Gary is young. All green things are nice.
Anne is not young.
@0: Anne is big.[(triple1)] Anne is nice.[(triple3)] Anne is not green.[(triple2)] Dave is big.[(triple4)] Dave is furry.[(triple5)] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple9)] Gary is big.[(triple10)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is nice.[(triple14 OR ((triple12) -> rule1))] Gary is not furry.[(triple11)] Gary is not smart.[(triple15)] Gary is young.[(triple16)]