The bald eagle chases the mouse. The bear is rough. The mouse visits the bear. Red things are not rough. Rough, red things are not blue. If something chases the mouse then the mouse chases the bear. If something chases the mouse and the mouse is big then it visits the bear. If the bear likes the mouse and the bear is not red then the mouse chases the bald eagle. If something chases the bear then it is kind.
The bear is rough.
@0: The bald eagle chases the mouse.[(triple1)] The bear is rough.[(triple2)] The mouse visits the bear.[(triple3)] @1: The mouse chases the bear.[(((triple1) -> rule3))] @2: The mouse is kind.[(((((triple1) -> rule3)) -> rule6))]