The bear eats the mouse. The bear needs the cat. The bear sees the cat. The cat eats the mouse. The cat is big. The cat is kind. The cat is young. The cat needs the bear. The cat needs the mouse. The cat sees the bear. The cat sees the mouse. The mouse is green. The mouse needs the bear. The mouse sees the bear. The mouse sees the cat. If something eats the cat and the cat sees the bear then it is young. If something eats the cat then the cat eats the bear. If the mouse sees the cat and the cat eats the mouse then the mouse is big.
The cat needs the mouse.
@0: The bear eats the mouse.[(triple1)] The bear needs the cat.[(triple2)] The bear sees the cat.[(triple3)] The cat eats the mouse.[(triple4)] The cat is big.[(triple5)] The cat is kind.[(triple6)] The cat is young.[(triple7)] The cat needs the bear.[(triple8)] The cat needs the mouse.[(triple9)] The cat sees the bear.[(triple10)] The cat sees the mouse.[(triple11)] The mouse is green.[(triple12)] The mouse needs the bear.[(triple13)] The mouse sees the bear.[(triple14)] The mouse sees the cat.[(triple15)] @1: The mouse is big.[(((triple15 triple4) -> rule3))]