The bear is green. The bear likes the cow. The bear needs the mouse. The bear visits the cow. The cow is red. The cow is young. The cow visits the tiger. The mouse likes the bear. The mouse needs the tiger. The mouse visits the bear. The tiger is green. The tiger is nice. The tiger is red. The tiger likes the bear. The tiger visits the cow. If the mouse needs the bear then the mouse is red. If something visits the bear then it likes the cow. If something likes the mouse and it visits the bear then the bear needs the mouse. If something is nice and it visits the mouse then the mouse likes the cow. If the cow likes the mouse then the cow is young. If something is round and it visits the cow then it likes the mouse.
The mouse visits the mouse.
@0: The bear is green.[(triple1)] The bear likes the cow.[(triple2)] The bear needs the mouse.[(triple3)] The bear visits the cow.[(triple4)] The cow is red.[(triple5)] The cow is young.[(triple6)] The cow visits the tiger.[(triple7)] The mouse likes the bear.[(triple8)] The mouse needs the tiger.[(triple9)] The mouse visits the bear.[(triple10)] The tiger is green.[(triple11)] The tiger is nice.[(triple12)] The tiger is red.[(triple13)] The tiger likes the bear.[(triple14)] The tiger visits the cow.[(triple15)] @1: The mouse likes the cow.[(((triple10) -> rule2))]