The cow chases the dog. The cow chases the mouse. The cow eats the lion. The cow is nice. The cow is round. The dog chases the lion. The dog eats the lion. The dog eats the mouse. The dog is blue. The dog likes the mouse. The lion eats the cow. The lion eats the mouse. The mouse chases the dog. The mouse chases the lion. The mouse is blue. The mouse likes the cow. If someone eats the cow and they like the mouse then the cow chases the lion. If someone eats the lion and they like the dog then they are big. If someone chases the dog then the dog likes the cow. If someone eats the cow and they are cold then they are round. If someone eats the dog and the dog chases the lion then the lion chases the mouse. All big people are nice. If someone eats the dog and the dog eats the mouse then they like the cow. If someone is round and they chase the lion then the lion is blue.
The dog eats the cow.
@0: The cow chases the dog.[(triple1)] The cow chases the mouse.[(triple2)] The cow eats the lion.[(triple3)] The cow is nice.[(triple4)] The cow is round.[(triple5)] The dog chases the lion.[(triple6)] The dog eats the lion.[(triple7)] The dog eats the mouse.[(triple8)] The dog is blue.[(triple9)] The dog likes the mouse.[(triple10)] The lion eats the cow.[(triple11)] The lion eats the mouse.[(triple12)] The mouse chases the dog.[(triple13)] The mouse chases the lion.[(triple14)] The mouse is blue.[(triple15)] The mouse likes the cow.[(triple16)] @1: The dog likes the cow.[(((triple1) -> rule3) OR ((triple13) -> rule3))]