The cow eats the lion. The cow eats the mouse. The lion chases the cow. The lion eats the mouse. The lion is round. The lion likes the mouse. The mouse chases the lion. The mouse eats the cow. The mouse is young. The mouse likes the lion. If something likes the cow and the cow chases the lion then it chases the cow. If the cow chases the mouse and the mouse eats the cow then the cow is round. Round things are kind.
The mouse is not young.
@0: The cow eats the lion.[(triple1)] The cow eats the mouse.[(triple2)] The lion chases the cow.[(triple3)] The lion eats the mouse.[(triple4)] The lion is round.[(triple5)] The lion likes the mouse.[(triple6)] The mouse chases the lion.[(triple7)] The mouse eats the cow.[(triple8)] The mouse is young.[(triple9)] The mouse likes the lion.[(triple10)] @1: The lion is kind.[(((triple5) -> rule3))]