The bear visits the tiger. The cow chases the bear. The cow is red. The cow visits the lion. The lion needs the tiger. The lion visits the bear. The tiger is not young. Cold, young people are not red. If someone visits the lion then they need the bear. If someone is blue and they chase the cow then the cow visits the bear. If someone chases the tiger then the tiger chases the bear. If the bear needs the tiger and the bear visits the lion then the lion is cold. If someone is red and they do not visit the tiger then they chase the lion.
The cow does not visit the bear.
@0: The bear visits the tiger.[(triple1)] The cow chases the bear.[(triple2)] The cow is red.[(triple3)] The cow visits the lion.[(triple4)] The lion needs the tiger.[(triple5)] The lion visits the bear.[(triple6)] The tiger is not young.[(triple7)] @1: The cow needs the bear.[(((triple4) -> rule2))]