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