The bear is big. The cow likes the bear. The dog is big. The tiger does not visit the bear. If someone is big and they visit the cow then the cow does not visit the tiger. If the dog is nice and the dog likes the bear then the dog is rough. If someone is young then they do not eat the tiger. If the tiger likes the bear and the bear likes the dog then the dog is red. If someone visits the dog then the dog does not like the tiger. If someone likes the cow and the cow eats the dog then the dog eats the cow. If someone eats the tiger then the tiger does not eat the dog. If the bear is big then the bear visits the cow.
The cow does not like the bear.
@0: The bear is big.[(triple1)] The cow likes the bear.[(triple2)] The dog is big.[(triple3)] The tiger does not visit the bear.[(triple4)] @1: The bear visits the cow.[(((triple1) -> rule8))] @2: The cow does not visit the tiger.[(((triple1 ((triple1) -> rule8)) -> rule1))]