The bear sees the mouse. The mouse sees the bear. The tiger likes the bear. If the bear sees the mouse and the bear is round then the mouse visits the bear. If something is cold and nice then it likes the bear. If something is round and kind then it likes the tiger. If the mouse visits the bear then the bear sees the tiger. If something likes the tiger then it is round. If something sees the mouse then it likes the tiger. If the tiger likes the mouse and the mouse likes the bear then the bear is round. If something visits the mouse then it sees the tiger.
The mouse does not visit the mouse.
@0: The bear sees the mouse.[(triple1)] The mouse sees the bear.[(triple2)] The tiger likes the bear.[(triple3)] @1: The bear likes the tiger.[(((triple1) -> rule6))] @2: The bear is round.[(((((triple1) -> rule6)) -> rule5))] @3: The mouse visits the bear.[(((triple1 ((((triple1) -> rule6)) -> rule5)) -> rule1))] @4: The bear sees the tiger.[(((((triple1 ((((triple1) -> rule6)) -> rule5)) -> rule1)) -> rule4))]