The dog is kind. If the dog is kind then the dog is nice. If the dog is round and the dog is rough then the dog is red. All rough things are kind. If something is round then it is nice. Nice, kind things are rough. If something is round then it is rough.
The dog likes the dog.
@0: The dog is kind.[(triple1)] @1: The dog is nice.[(((triple1) -> rule1))] @2: The dog is rough.[(((((triple1) -> rule1) triple1) -> rule5))]