The bear is big. The bear likes the cat. The cat eats the bear. The cat likes the squirrel. The mouse does not chase the bear. The squirrel is blue. The squirrel is green. If something likes the cat then the cat eats the mouse. If something chases the squirrel then it eats the cat. If the mouse eats the cat then the cat chases the squirrel. If something eats the mouse then the mouse chases the squirrel. If something chases the squirrel then the squirrel eats the cat.
The bear is rough.
@0: The bear is big.[(triple1)] The bear likes the cat.[(triple2)] The cat eats the bear.[(triple3)] The cat likes the squirrel.[(triple4)] The mouse does not chase the bear.[(triple5)] The squirrel is blue.[(triple6)] The squirrel is green.[(triple7)] @1: The cat eats the mouse.[(((triple2) -> rule1))] @2: The mouse chases the squirrel.[(((((triple2) -> rule1)) -> rule4))] @3: The mouse eats the cat.[(((((((triple2) -> rule1)) -> rule4)) -> rule2))] The squirrel eats the cat.[(((((((triple2) -> rule1)) -> rule4)) -> rule5) OR ((((((((((triple2) -> rule1)) -> rule4)) -> rule2)) -> rule3)) -> rule5))] @4: The cat chases the squirrel.[(((((((((triple2) -> rule1)) -> rule4)) -> rule2)) -> rule3))] @5: The cat eats the cat.[(((((((((((triple2) -> rule1)) -> rule4)) -> rule2)) -> rule3)) -> rule2))]