Anne is big. Anne is rough. Anne is white. Bob is big. Bob is blue. Bob is green. Bob is red. Bob is rough. Bob is white. Bob is young. Charlie is big. Charlie is blue. Charlie is rough. Charlie is white. Charlie is young. Young, white things are green.
Anne is not green.
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Bob is big.[(triple4)] Bob is blue.[(triple5)] Bob is green.[(triple6 OR ((triple10 triple9) -> rule1))] Bob is red.[(triple7)] Bob is rough.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10)] Charlie is big.[(triple11)] Charlie is blue.[(triple12)] Charlie is rough.[(triple13)] Charlie is white.[(triple14)] Charlie is young.[(triple15)] @1: Charlie is green.[(((triple15 triple14) -> rule1))]