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