The bear chases the tiger. The cat needs the tiger. The cow needs the bear. The tiger is big. If someone chases the cat then they visit the bear. If someone chases the bear then the bear chases the tiger. Young people are red. If someone visits the cow then they chase the bear. If someone is big and they visit the bear then the bear chases the cow. If the bear chases the tiger then the tiger chases the cat. If someone needs the tiger then the tiger is kind. If someone needs the cow then the cow chases the cat.
The cow is not red.
@0: The bear chases the tiger.[(triple1)] The cat needs the tiger.[(triple2)] The cow needs the bear.[(triple3)] The tiger is big.[(triple4)] @1: The tiger chases the cat.[(((triple1) -> rule6))] The tiger is kind.[(((triple2) -> rule7))] @2: The tiger visits the bear.[(((((triple1) -> rule6)) -> rule1))] @3: The bear chases the cow.[(((triple4 ((((triple1) -> rule6)) -> rule1)) -> rule5))]