The bear chases the cat. The bear eats the cat. The bear eats the mouse. The bear is big. The bear needs the cat. The bear needs the mouse. The cat eats the bear. The cat is kind. The cat needs the bear. The cat needs the mouse. The mouse chases the cat. The mouse eats the bear. The mouse is green. The mouse is kind. The mouse needs the cat. If the cat needs the mouse and the mouse is green then the mouse is nice.
The mouse does not need the cat.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear eats the mouse.[(triple3)] The bear is big.[(triple4)] The bear needs the cat.[(triple5)] The bear needs the mouse.[(triple6)] The cat eats the bear.[(triple7)] The cat is kind.[(triple8)] The cat needs the bear.[(triple9)] The cat needs the mouse.[(triple10)] The mouse chases the cat.[(triple11)] The mouse eats the bear.[(triple12)] The mouse is green.[(triple13)] The mouse is kind.[(triple14)] The mouse needs the cat.[(triple15)] @1: The mouse is nice.[(((triple10 triple13) -> rule1))]