The bear is green. The bear is rough. The bear needs the cow. The cat chases the cow. The cat is green. The cat is round. The cow is round. The tiger chases the bear. The tiger chases the cat. The tiger does not need the cat. The tiger needs the cow. The tiger visits the bear. If someone chases the bear and the bear is big then the bear is rough. If someone visits the bear then they do not visit the cat. If someone needs the cow and they are nice then the cow does not visit the tiger. If someone needs the cow then they visit the bear. If the tiger is rough and the tiger does not chase the cow then the tiger does not need the bear. If someone visits the cow then they are round. If someone needs the bear then the bear needs the tiger. If someone visits the cat then they do not chase the bear.
The cow visits the tiger.
@0: The bear is green.[(triple1)] The bear is rough.[(triple2)] The bear needs the cow.[(triple3)] The cat chases the cow.[(triple4)] The cat is green.[(triple5)] The cat is round.[(triple6)] The cow is round.[(triple7)] The tiger chases the bear.[(triple8)] The tiger chases the cat.[(triple9)] The tiger does not need the cat.[(triple10)] The tiger needs the cow.[(triple11)] The tiger visits the bear.[(triple12 OR ((triple11) -> rule4))] @1: The bear visits the bear.[(((triple3) -> rule4))] The tiger does not visit the cat.[(((triple12) -> rule2) OR ((((triple11) -> rule4)) -> rule2))] @2: The bear does not visit the cat.[(((((triple3) -> rule4)) -> rule2))]