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