The cow eats the dog. The dog eats the squirrel. The dog is blue. The squirrel is green. The tiger chases the cow. The tiger eats the cow. The tiger eats the dog. If something is green and it chases the dog then the dog chases the cow. If something is blue then it chases the cow. If something chases the squirrel and it is nice then the squirrel is green. If something is green and it eats the tiger then the tiger chases the squirrel. If something is nice and it eats the tiger then it eats the squirrel. If the cow eats the dog and the cow visits the squirrel then the squirrel is rough. If something is nice then it chases the tiger. If something is rough then it chases the tiger.
The tiger chases the cow.
@0: The cow eats the dog.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is blue.[(triple3)] The squirrel is green.[(triple4)] The tiger chases the cow.[(triple5)] The tiger eats the cow.[(triple6)] The tiger eats the dog.[(triple7)] @1: The dog chases the cow.[(((triple3) -> rule2))]