The cat chases the lion. The cat chases the squirrel. The cat eats the lion. The cat is kind. The cow chases the lion. The cow eats the squirrel. The cow likes the squirrel. The lion chases the cat. The lion eats the squirrel. The lion likes the cat. The squirrel chases the cow. The squirrel eats the cat. The squirrel eats the cow. The squirrel is blue. The squirrel is kind. The squirrel likes the cat. If someone chases the squirrel then the squirrel is blue. If someone is blue then they eat the lion. If someone likes the squirrel then the squirrel chases the cat. If someone chases the squirrel then the squirrel chases the lion. If someone eats the lion then they like the lion. If someone eats the cat and the cat eats the squirrel then the cat likes the lion. If someone chases the lion and the lion likes the squirrel then they eat the cow. If someone likes the lion and they like the cow then the lion chases the cow.
The lion does not eat the cow.
@0: The cat chases the lion.[(triple1)] The cat chases the squirrel.[(triple2)] The cat eats the lion.[(triple3)] The cat is kind.[(triple4)] The cow chases the lion.[(triple5)] The cow eats the squirrel.[(triple6)] The cow likes the squirrel.[(triple7)] The lion chases the cat.[(triple8)] The lion eats the squirrel.[(triple9)] The lion likes the cat.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel eats the cat.[(triple12)] The squirrel eats the cow.[(triple13)] The squirrel is blue.[(triple14 OR ((triple2) -> rule1))] The squirrel is kind.[(triple15)] The squirrel likes the cat.[(triple16)] @1: The cat likes the lion.[(((triple3) -> rule5))] The squirrel chases the cat.[(((triple7) -> rule3))] The squirrel chases the lion.[(((triple2) -> rule4))] The squirrel eats the lion.[(((triple14) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] @2: The squirrel likes the lion.[(((((triple14) -> rule2)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2)) -> rule5))]