The bear likes the mouse. The mouse chases the bear. The rabbit visits the bear. If the mouse is rough and the mouse visits the rabbit then the mouse is nice. If someone visits the rabbit and the rabbit visits the bear then the rabbit is nice. If someone is big then they chase the bear. If someone likes the mouse then they visit the rabbit. If someone chases the mouse and they chase the rabbit then the rabbit chases the bear. All nice, young people are green. If someone likes the rabbit and the rabbit visits the bear then they visit the mouse. If someone is nice then they visit the mouse.
The mouse is rough.
@0: The bear likes the mouse.[(triple1)] The mouse chases the bear.[(triple2)] The rabbit visits the bear.[(triple3)] @1: The bear visits the rabbit.[(((triple1) -> rule4))] @2: The rabbit is nice.[(((((triple1) -> rule4) triple3) -> rule2))] @3: The rabbit visits the mouse.[(((((((triple1) -> rule4) triple3) -> rule2)) -> rule8))]