The bear eats the tiger. The mouse sees the bear. The tiger is kind. If someone sees the bear and the bear sees the mouse then the mouse needs the tiger. If someone eats the bear and the bear eats the mouse then they are rough. If someone is blue then they are kind. If someone is round and they need the mouse then they need the bear. If someone sees the bear then they see the tiger. If someone sees the tiger then the tiger sees the bear.
The tiger does not see the tiger.
@0: The bear eats the tiger.[(triple1)] The mouse sees the bear.[(triple2)] The tiger is kind.[(triple3)] @1: The mouse sees the tiger.[(((triple2) -> rule5))] @2: The tiger sees the bear.[(((((triple2) -> rule5)) -> rule6))] @3: The tiger sees the tiger.[(((((((triple2) -> rule5)) -> rule6)) -> rule5))]