The dog is rough. If something is kind and not green then it is big. All rough, kind things are nice. If the dog is rough then the dog is big.
The dog is not big.
@0: The dog is rough.[(triple1)] @1: The dog is big.[(((triple1) -> rule3))]