Charlie is big. Charlie is cold. Charlie is smart. Charlie is young. Dave is big. Dave is blue. Dave is cold. Dave is smart. Dave is young. Erin is blue. Erin is green. Erin is young. All green things are rough.
Charlie is not rough.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple9)] Erin is blue.[(triple10)] Erin is green.[(triple11)] Erin is young.[(triple12)] @1: Erin is rough.[(((triple11) -> rule1))]