The bear is big. The bear is round. The bear is not young. The bear does not like the mouse. The bear sees the mouse. The bear visits the mouse. The mouse is green. The mouse likes the bear. The mouse sees the bear. The mouse visits the bear. If someone sees the bear and they do not like the mouse then the bear is not blue. If someone likes the bear then they are big.
The mouse likes the mouse.
@0: The bear does not like the mouse.[(triple4)] The bear is big.[(triple1)] The bear is not young.[(triple3)] The bear is round.[(triple2)] The bear sees the mouse.[(triple5)] The bear visits the mouse.[(triple6)] The mouse is green.[(triple7)] The mouse likes the bear.[(triple8)] The mouse sees the bear.[(triple9)] The mouse visits the bear.[(triple10)] @1: The mouse is big.[(((triple8) -> rule2))]