The bear eats the cat. The cat likes the bear. The dog sees the bear. If something is rough then it is round. If something is nice then it likes the dog. If something likes the bear then it sees the dog. If the cat is nice then the cat sees the dog. If something likes the bear then it eats the cat. If something sees the dog then the dog likes the cat. If something sees the bear and the bear sees the dog then the bear likes the dog. If something likes the cat then the cat is nice.
The dog eats the cat.
@0: The bear eats the cat.[(triple1)] The cat likes the bear.[(triple2)] The dog sees the bear.[(triple3)] @1: The cat eats the cat.[(((triple2) -> rule5))] The cat sees the dog.[(((triple2) -> rule3))] @2: The dog likes the cat.[(((((triple2) -> rule3)) -> rule6))] @3: The cat is nice.[(((((((triple2) -> rule3)) -> rule6)) -> rule8))] @4: The cat likes the dog.[(((((((((triple2) -> rule3)) -> rule6)) -> rule8)) -> rule2))]