The bear is not blue. The mouse does not visit the bear. The rabbit sees the mouse. If someone sees the mouse then the mouse eats the bear. If someone eats the rabbit and they do not see the bear then the rabbit visits the bear. If someone is young then they eat the mouse. If someone visits the bear then they are not nice. Kind people are big. If the bear is blue then the bear sees the rabbit. If someone visits the rabbit and the rabbit sees the bear then the bear visits the mouse. If the mouse eats the rabbit and the mouse does not eat the bear then the mouse visits the rabbit.
The bear is big.
@0: The bear is not blue.[(triple1)] The mouse does not visit the bear.[(triple2)] The rabbit sees the mouse.[(triple3)] @1: The mouse eats the bear.[(((triple3) -> rule1))]