The cow visits the tiger. The rabbit eats the cow. The tiger is blue. If someone visits the tiger and the tiger is blue then the tiger eats the rabbit. If the tiger eats the cow then the cow visits the tiger. If the tiger is round and the tiger is green then the tiger eats the cow. If the rabbit visits the tiger and the rabbit eats the cow then the rabbit sees the cow. If someone visits the cow and the cow is green then the cow eats the tiger. If someone sees the rabbit then the rabbit is round. If someone is round then they visit the cow. If someone visits the rabbit then the rabbit eats the cow.
The cow sees the rabbit.
@0: The cow visits the tiger.[(triple1)] The rabbit eats the cow.[(triple2)] The tiger is blue.[(triple3)] @1: The tiger eats the rabbit.[(((triple1 triple3) -> rule1))]