Bob is big. Bob is blue. Bob is green. Bob is white. Charlie is big. Charlie is green. Charlie is nice. Charlie is white. Charlie is young. Erin is rough. Erin is white. Erin is young. All green people are rough. Young, big people are rough.
Erin is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple3)] Bob is white.[(triple4)] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is nice.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Erin is rough.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Bob is rough.[(((triple3) -> rule1))] Charlie is rough.[(((triple6) -> rule1) OR ((triple9 triple5) -> rule2))]