The cat eats the lion. The cat is round. The cat likes the mouse. The lion chases the cat. The lion chases the mouse. The lion eats the cat. The lion eats the squirrel. The lion is red. The mouse chases the squirrel. The mouse does not eat the lion. The mouse likes the cat. The squirrel likes the lion. If someone is red and they do not eat the mouse then they are round. If someone likes the mouse and they do not like the squirrel then the squirrel likes the cat. If someone is red then they like the mouse. If someone is red and not blue then they are young. If someone chases the lion and they eat the lion then they do not eat the cat. If someone eats the mouse then the mouse likes the cat. If someone chases the cat and the cat is not rough then the cat is young. If someone chases the lion and they are not round then the lion chases the cat.
The squirrel eats the squirrel.
@0: The cat eats the lion.[(triple1)] The cat is round.[(triple2)] The cat likes the mouse.[(triple3)] The lion chases the cat.[(triple4)] The lion chases the mouse.[(triple5)] The lion eats the cat.[(triple6)] The lion eats the squirrel.[(triple7)] The lion is red.[(triple8)] The mouse chases the squirrel.[(triple9)] The mouse does not eat the lion.[(triple10)] The mouse likes the cat.[(triple11)] The squirrel likes the lion.[(triple12)] @1: The lion likes the mouse.[(((triple8) -> rule3))]