The cow sees the squirrel. The cow visits the squirrel. The cow visits the tiger. The dog sees the cow. The squirrel eats the cow. The squirrel visits the dog. The tiger eats the cow. The tiger is blue. The tiger is young. The tiger sees the squirrel. If someone eats the squirrel and the squirrel is nice then the squirrel is blue. If someone is green and they see the squirrel then the squirrel eats the dog. If someone sees the tiger and the tiger eats the squirrel then the squirrel visits the dog. If someone eats the squirrel then they eat the tiger. If someone sees the cow then they see the dog. If someone visits the tiger then the tiger is big. If someone sees the dog and the dog sees the cow then they see the cow. If someone visits the cow then the cow is young.
The tiger is blue.
@0: The cow sees the squirrel.[(triple1)] The cow visits the squirrel.[(triple2)] The cow visits the tiger.[(triple3)] The dog sees the cow.[(triple4)] The squirrel eats the cow.[(triple5)] The squirrel visits the dog.[(triple6)] The tiger eats the cow.[(triple7)] The tiger is blue.[(triple8)] The tiger is young.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The dog sees the dog.[(((triple4) -> rule5))] The tiger is big.[(((triple3) -> rule6))]