The cow chases the lion. The dog likes the lion. The lion chases the mouse. The lion is big. The lion is blue. The lion is round. The lion needs the cow. The mouse chases the cow. The mouse needs the dog. The mouse needs the lion. If something chases the lion then the lion likes the mouse.
The lion is not round.
@0: The cow chases the lion.[(triple1)] The dog likes the lion.[(triple2)] The lion chases the mouse.[(triple3)] The lion is big.[(triple4)] The lion is blue.[(triple5)] The lion is round.[(triple6)] The lion needs the cow.[(triple7)] The mouse chases the cow.[(triple8)] The mouse needs the dog.[(triple9)] The mouse needs the lion.[(triple10)] @1: The lion likes the mouse.[(((triple1) -> rule1))]