The bear sees the mouse. The mouse eats the bear. The rabbit is kind. The tiger sees the rabbit. If someone is red then they eat the rabbit. If the rabbit sees the tiger then the rabbit eats the mouse. If the tiger is green and the tiger visits the rabbit then the rabbit is green. If someone eats the rabbit then they visit the rabbit. If someone eats the bear and the bear sees the mouse then they see the tiger. If someone is green then they see the mouse. If someone sees the bear then the bear sees the tiger. If someone sees the rabbit and they are red then they see the tiger.
The rabbit does not see the mouse.
@0: The bear sees the mouse.[(triple1)] The mouse eats the bear.[(triple2)] The rabbit is kind.[(triple3)] The tiger sees the rabbit.[(triple4)] @1: The mouse sees the tiger.[(((triple2 triple1) -> rule5))]