The cow visits the lion. The dog sees the lion. The lion likes the dog. The tiger does not like the cow. If the lion likes the dog then the lion is not kind. If something likes the dog and the dog is not big then the dog likes the cow. If the lion likes the tiger and the lion likes the dog then the lion sees the dog. If something sees the tiger then it is round. If the dog likes the cow and the dog is big then the dog sees the cow. If the tiger likes the lion then the lion visits the tiger. If something visits the tiger then the tiger is red. If the tiger is not round then the tiger is red.
The cow visits the lion.
@0: The cow visits the lion.[(triple1)] The dog sees the lion.[(triple2)] The lion likes the dog.[(triple3)] The tiger does not like the cow.[(triple4)] @1: The lion is not kind.[(((triple3) -> rule1))]