The bear eats the dog. The bear is round. The bear visits the dog. The cow is blue. The dog visits the tiger. The tiger eats the bear. The tiger eats the dog. The tiger is rough. The tiger likes the bear. The tiger visits the dog. If someone is green then they visit the tiger. If someone likes the dog then the dog likes the bear. If the bear visits the cow and the bear eats the dog then the dog is round. If someone likes the bear and they eat the cow then the bear visits the tiger. If someone visits the tiger and the tiger likes the cow then they like the cow. If someone eats the bear then the bear likes the dog.
The tiger is not rough.
@0: The bear eats the dog.[(triple1)] The bear is round.[(triple2)] The bear visits the dog.[(triple3)] The cow is blue.[(triple4)] The dog visits the tiger.[(triple5)] The tiger eats the bear.[(triple6)] The tiger eats the dog.[(triple7)] The tiger is rough.[(triple8)] The tiger likes the bear.[(triple9)] The tiger visits the dog.[(triple10)] @1: The bear likes the dog.[(((triple6) -> rule6))] @2: The dog likes the bear.[(((((triple6) -> rule6)) -> rule2))]