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