The bear chases the mouse. The mouse eats the bear. The mouse likes the bear. The rabbit is big. The rabbit likes the mouse. The tiger chases the bear. The tiger likes the rabbit. If the mouse likes the rabbit then the mouse chases the tiger. Green people are big. If the tiger is rough and the tiger likes the bear then the tiger is green. If someone eats the bear then the bear is rough. If someone likes the mouse then the mouse is green. If someone likes the rabbit and they do not chase the rabbit then they chase the bear. If someone chases the rabbit and the rabbit is big then the rabbit eats the bear. If the tiger eats the mouse and the tiger is not big then the tiger chases the bear.
The mouse eats the bear.
@0: The bear chases the mouse.[(triple1)] The mouse eats the bear.[(triple2)] The mouse likes the bear.[(triple3)] The rabbit is big.[(triple4)] The rabbit likes the mouse.[(triple5)] The tiger chases the bear.[(triple6)] The tiger likes the rabbit.[(triple7)] @1: The bear is rough.[(((triple2) -> rule4))] The mouse is green.[(((triple5) -> rule5))] @2: The mouse is big.[(((((triple5) -> rule5)) -> rule2))]