The bear eats the mouse. The bear is nice. The bear likes the mouse. The bear needs the mouse. The mouse eats the bear. The mouse is big. The mouse is cold. The mouse is green. The mouse is not nice. The mouse is young. The mouse likes the bear. The mouse needs the bear. If the bear eats the mouse then the mouse is young. If something needs the mouse and the mouse eats the bear then the mouse likes the bear.
The mouse is young.
@0: The bear eats the mouse.[(triple1)] The bear is nice.[(triple2)] The bear likes the mouse.[(triple3)] The bear needs the mouse.[(triple4)] The mouse eats the bear.[(triple5)] The mouse is big.[(triple6)] The mouse is cold.[(triple7)] The mouse is green.[(triple8)] The mouse is not nice.[(triple9)] The mouse is young.[(triple10 OR ((triple1) -> rule1))] The mouse likes the bear.[(triple11 OR ((triple4 triple5) -> rule2))] The mouse needs the bear.[(triple12)]