The bear likes the dog. The bear visits the dog. The dog eats the bear. If someone eats the bear then they are cold. If someone visits the dog then they eat the dog. If the bear is round and the bear visits the dog then the dog visits the bear. If someone eats the dog and they visit the dog then they eat the bear. If the bear likes the dog and the bear eats the dog then the bear visits the dog. If someone is rough and they eat the dog then the dog likes the bear. If someone visits the dog and they like the bear then the dog eats the bear. If someone visits the bear and the bear is rough then they eat the bear.
The bear does not eat the bear.
@0: The bear likes the dog.[(triple1)] The bear visits the dog.[(triple2)] The dog eats the bear.[(triple3)] @1: The bear eats the dog.[(((triple2) -> rule2))] The dog is cold.[(((triple3) -> rule1))] @2: The bear eats the bear.[(((((triple2) -> rule2) triple2) -> rule4))] @3: The bear is cold.[(((((((triple2) -> rule2) triple2) -> rule4)) -> rule1))]