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