The cat chases the tiger. The cat eats the cow. The cat does not eat the tiger. The cat is not nice. The cat does not visit the cow. The cow eats the tiger. The tiger chases the cat. The tiger eats the cat. The tiger eats the cow. The tiger is not young. If someone chases the tiger then the tiger is blue. If someone eats the cow and the cow does not eat the cat then the cat is not young. If someone is blue and they do not chase the cow then the cow chases the cat. If the tiger chases the cat and the tiger visits the cat then the cat eats the tiger. If someone visits the cow and they are blue then the cow does not eat the tiger. If someone is blue then they are green. If someone is green and not blue then they visit the tiger. If someone is green and not young then they visit the tiger.
The cow does not visit the tiger.
@0: The cat chases the tiger.[(triple1)] The cat does not eat the tiger.[(triple3)] The cat does not visit the cow.[(triple5)] The cat eats the cow.[(triple2)] The cat is not nice.[(triple4)] The cow eats the tiger.[(triple6)] The tiger chases the cat.[(triple7)] The tiger eats the cat.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is not young.[(triple10)] @1: The tiger is blue.[(((triple1) -> rule1))] @2: The tiger is green.[(((((triple1) -> rule1)) -> rule6))] @3: The tiger visits the tiger.[(((((((triple1) -> rule1)) -> rule6) triple10) -> rule8))]