The cat does not chase the lion. The cat eats the lion. The cat does not see the cow. The cat sees the lion. The cat sees the mouse. The cow chases the lion. The cow is kind. The cow does not see the lion. The cow does not see the mouse. The lion chases the cow. The lion does not chase the mouse. The lion eats the cat. The lion is kind. The lion sees the cat. The mouse does not chase the cat. The mouse is red. If someone is green and big then they eat the lion. If the cat eats the mouse then the cat sees the lion. If someone is rough and they do not chase the cat then the cat sees the lion. If someone is kind and they eat the lion then the lion eats the cow. If someone is red then they are big. If the cat chases the mouse then the mouse eats the cat. If the cow sees the lion and the cow is green then the lion sees the cat. If the cat is red and the cat eats the lion then the cat is kind.
The cat does not see the cat.
@0: The cat does not chase the lion.[(triple1)] The cat does not see the cow.[(triple3)] The cat eats the lion.[(triple2)] The cat sees the lion.[(triple4)] The cat sees the mouse.[(triple5)] The cow chases the lion.[(triple6)] The cow does not see the lion.[(triple8)] The cow does not see the mouse.[(triple9)] The cow is kind.[(triple7)] The lion chases the cow.[(triple10)] The lion does not chase the mouse.[(triple11)] The lion eats the cat.[(triple12)] The lion is kind.[(triple13)] The lion sees the cat.[(triple14)] The mouse does not chase the cat.[(triple15)] The mouse is red.[(triple16)] @1: The mouse is big.[(((triple16) -> rule5))]