The bear chases the cat. The bear eats the mouse. The bear is cold. The cat chases the bear. The cat chases the mouse. The cat needs the mouse. The mouse chases the cat. If the mouse eats the cat then the mouse is young. If something needs the bear then the bear does not chase the cat. If the bear does not need the cat then the cat does not chase the mouse. If something chases the mouse then it is young. If something is young then it eats the mouse. If something is blue then it chases the mouse. If something is kind then it eats the cat. If something chases the mouse and it is green then it chases the cat.
The bear does not chase the mouse.
@0: The bear chases the cat.[(triple1)] The bear eats the mouse.[(triple2)] The bear is cold.[(triple3)] The cat chases the bear.[(triple4)] The cat chases the mouse.[(triple5)] The cat needs the mouse.[(triple6)] The mouse chases the cat.[(triple7)] @1: The cat is young.[(((triple5) -> rule4))] @2: The cat eats the mouse.[(((((triple5) -> rule4)) -> rule5))]