The bear is young. The cow visits the mouse. The lion needs the cow. The mouse visits the lion. If someone needs the mouse and the mouse is red then the mouse likes the lion. If someone needs the cow then the cow needs the mouse. If someone is red then they visit the mouse. If someone is rough then they visit the bear. Blue people are young. If someone likes the mouse then the mouse visits the bear. If the bear visits the mouse and the mouse is rough then the mouse visits the lion. If someone visits the cow then the cow is red.
The bear is young.
@0: The bear is young.[(triple1)] The cow visits the mouse.[(triple2)] The lion needs the cow.[(triple3)] The mouse visits the lion.[(triple4)] @1: The cow needs the mouse.[(((triple3) -> rule2))]