The bear does not chase the mouse. The bear does not chase the tiger. The bear eats the cat. The bear is not green. The cat eats the mouse. The cat is blue. The mouse chases the bear. The mouse chases the tiger. The mouse needs the bear. The tiger eats the mouse. If something needs the bear then the bear does not need the cat. If something needs the tiger then the tiger chases the cat. If the bear eats the mouse and the mouse eats the cat then the cat does not eat the mouse. If something eats the bear and it needs the cat then the cat is big. If something is blue then it is not cold. If something eats the bear then it needs the tiger.
The bear does not need the tiger.
@0: The bear does not chase the mouse.[(triple1)] The bear does not chase the tiger.[(triple2)] The bear eats the cat.[(triple3)] The bear is not green.[(triple4)] The cat eats the mouse.[(triple5)] The cat is blue.[(triple6)] The mouse chases the bear.[(triple7)] The mouse chases the tiger.[(triple8)] The mouse needs the bear.[(triple9)] The tiger eats the mouse.[(triple10)] @1: The bear does not need the cat.[(((triple9) -> rule1))] The cat is not cold.[(((triple6) -> rule5))]