The cow sees the dog. The dog is young. The dog sees the lion. The lion is rough. The lion is round. The lion likes the cow. The lion visits the dog. The tiger likes the cow. The tiger likes the lion. The tiger sees the lion. If someone sees the dog then they are rough. If someone is round and they see the lion then the lion likes the dog. If the lion likes the cow and the cow is nice then the cow visits the lion. If someone is round and rough then they visit the tiger. If someone likes the dog and the dog likes the lion then the dog sees the tiger. If someone is young and kind then they visit the tiger.
The tiger likes the lion.
@0: The cow sees the dog.[(triple1)] The dog is young.[(triple2)] The dog sees the lion.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5)] The lion likes the cow.[(triple6)] The lion visits the dog.[(triple7)] The tiger likes the cow.[(triple8)] The tiger likes the lion.[(triple9)] The tiger sees the lion.[(triple10)] @1: The cow is rough.[(((triple1) -> rule1))] The lion visits the tiger.[(((triple5 triple4) -> rule4))]