The cow chases the lion. The cow chases the tiger. The cow likes the tiger. The dog chases the cow. The dog chases the tiger. The dog is blue. The dog is rough. The dog likes the cow. The dog likes the tiger. The lion is blue. The lion likes the cow. The tiger chases the lion. The tiger eats the dog. The tiger is big. The tiger is green. The tiger likes the cow. If something likes the lion then the lion chases the cow. If something chases the dog then the dog likes the lion. If something is big and young then it likes the cow. If something chases the dog and it is green then it eats the cow. If something chases the lion then the lion chases the dog. If something is young then it chases the lion.
The lion does not chase the dog.
@0: The cow chases the lion.[(triple1)] The cow chases the tiger.[(triple2)] The cow likes the tiger.[(triple3)] The dog chases the cow.[(triple4)] The dog chases the tiger.[(triple5)] The dog is blue.[(triple6)] The dog is rough.[(triple7)] The dog likes the cow.[(triple8)] The dog likes the tiger.[(triple9)] The lion is blue.[(triple10)] The lion likes the cow.[(triple11)] The tiger chases the lion.[(triple12)] The tiger eats the dog.[(triple13)] The tiger is big.[(triple14)] The tiger is green.[(triple15)] The tiger likes the cow.[(triple16)] @1: The lion chases the dog.[(((triple1) -> rule5) OR ((triple12) -> rule5))] @2: The dog likes the lion.[(((((triple1) -> rule5)) -> rule2) OR ((((triple12) -> rule5)) -> rule2))] @3: The lion chases the cow.[(((((((triple1) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12) -> rule5)) -> rule2)) -> rule1))]