The dog is not big. The dog is green. The dog is rough. If someone is big and not nice then they are green. Nice, big people are green. Big people are rough. If someone is big and not green then they are young. All rough people are young. All green, big people are not young.
The dog needs the dog.
@0: The dog is green.[(triple2)] The dog is not big.[(triple1)] The dog is rough.[(triple3)] @1: The dog is young.[(((triple3) -> rule5))]