The bear is rough. The bear is young. The bear likes the mouse. The cat likes the tiger. The mouse chases the bear. The tiger eats the bear. The tiger likes the cat. If something is rough then it likes the tiger. If something is kind then it is round. If the bear likes the tiger then the tiger is rough. If something eats the bear then the bear eats the mouse. If something likes the cat then the cat chases the mouse. If the tiger is rough then the tiger likes the bear. If something is kind then it is rough. If something likes the tiger and the tiger chases the mouse then the mouse chases the tiger.
The bear is not big.
@0: The bear is rough.[(triple1)] The bear is young.[(triple2)] The bear likes the mouse.[(triple3)] The cat likes the tiger.[(triple4)] The mouse chases the bear.[(triple5)] The tiger eats the bear.[(triple6)] The tiger likes the cat.[(triple7)] @1: The bear eats the mouse.[(((triple6) -> rule4))] The bear likes the tiger.[(((triple1) -> rule1))] The cat chases the mouse.[(((triple7) -> rule5))] @2: The tiger is rough.[(((((triple1) -> rule1)) -> rule3))] @3: The tiger likes the bear.[(((((((triple1) -> rule1)) -> rule3)) -> rule6))] The tiger likes the tiger.[(((((((triple1) -> rule1)) -> rule3)) -> rule1))]