The dog chases the tiger. The dog is rough. The dog is round. The tiger chases the dog. The tiger is nice. The tiger is rough. The tiger is round. The tiger is young. The tiger likes the dog. The tiger sees the dog. If something is round then it likes the dog. If something is nice then it likes the tiger.
The tiger is kind.
@0: The dog chases the tiger.[(triple1)] The dog is rough.[(triple2)] The dog is round.[(triple3)] The tiger chases the dog.[(triple4)] The tiger is nice.[(triple5)] The tiger is rough.[(triple6)] The tiger is round.[(triple7)] The tiger is young.[(triple8)] The tiger likes the dog.[(triple9 OR ((triple7) -> rule1))] The tiger sees the dog.[(triple10)] @1: The dog likes the dog.[(((triple3) -> rule1))] The tiger likes the tiger.[(((triple5) -> rule2))]