The cat chases the cow. The cat does not need the tiger. The cat visits the dog. The cow chases the tiger. The cow is cold. The cow is green. The cow visits the tiger. The dog is rough. The dog needs the cat. The dog needs the cow. The tiger is big. The tiger is round. The tiger needs the cow. The tiger visits the cat. The tiger visits the cow. The tiger visits the dog. If someone chases the cow then the cow chases the dog. If someone needs the tiger and the tiger chases the cat then the tiger does not need the cow. If the cat chases the dog and the dog does not chase the tiger then the dog does not chase the cow. If someone needs the tiger then they do not visit the tiger. If someone chases the dog then the dog needs the tiger. If the dog is green and the dog does not chase the cow then the cow visits the tiger.
The dog does not visit the dog.
@0: The cat chases the cow.[(triple1)] The cat does not need the tiger.[(triple2)] The cat visits the dog.[(triple3)] The cow chases the tiger.[(triple4)] The cow is cold.[(triple5)] The cow is green.[(triple6)] The cow visits the tiger.[(triple7)] The dog is rough.[(triple8)] The dog needs the cat.[(triple9)] The dog needs the cow.[(triple10)] The tiger is big.[(triple11)] The tiger is round.[(triple12)] The tiger needs the cow.[(triple13)] The tiger visits the cat.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the dog.[(triple16)] @1: The cow chases the dog.[(((triple1) -> rule1))] @2: The dog needs the tiger.[(((((triple1) -> rule1)) -> rule5))] @3: The dog does not visit the tiger.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))]