The bear chases the mouse. The cat eats the tiger. The mouse eats the bear. The tiger likes the mouse. If someone eats the bear then the bear chases the mouse. If the bear is green and the bear is cold then the bear eats the mouse. If someone eats the cat and they chase the bear then they like the tiger. If the cat likes the mouse and the mouse eats the bear then the mouse is green. If someone likes the cat and the cat eats the mouse then the cat chases the tiger. If someone eats the bear and they are rough then they are green.
The mouse does not eat the bear.
@0: The bear chases the mouse.[(triple1 OR ((triple3) -> rule1))] The cat eats the tiger.[(triple2)] The mouse eats the bear.[(triple3)] The tiger likes the mouse.[(triple4)]