The cat chases the cow. The cat chases the squirrel. The cow chases the cat. The cow chases the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is green. If something eats the squirrel and the squirrel is green then it likes the squirrel. If something likes the cat then the cat chases the cow. If something chases the cow then it eats the cat. If something eats the cow then it is kind. If something chases the cow and the cow eats the squirrel then the squirrel is cold. If something is red and it eats the cat then it is cold.
The cat is not cold.
@0: The cat chases the cow.[(triple1)] The cat chases the squirrel.[(triple2)] The cow chases the cat.[(triple3)] The cow chases the squirrel.[(triple4)] The squirrel chases the cat.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel is green.[(triple7)] @1: The cat eats the cat.[(((triple1) -> rule3))]