The cat chases the cow. The cat is nice. The cat visits the tiger. The cow chases the cat. The cow is rough. The tiger eats the cat. The tiger visits the cow. If something visits the cow then the cow does not visit the tiger.
The cow is not rough.
@0: The cat chases the cow.[(triple1)] The cat is nice.[(triple2)] The cat visits the tiger.[(triple3)] The cow chases the cat.[(triple4)] The cow is rough.[(triple5)] The tiger eats the cat.[(triple6)] The tiger visits the cow.[(triple7)] @1: The cow does not visit the tiger.[(((triple7) -> rule1))]