The bear chases the rabbit. The lion is nice. The rabbit chases the lion. If someone visits the lion and they chase the lion then the lion is blue. If the rabbit chases the lion and the rabbit visits the bear then the bear is nice. If someone chases the lion then they visit the bear. If the rabbit visits the bear and the rabbit needs the bear then the rabbit needs the lion. If the rabbit is blue then the rabbit needs the lion. If the lion needs the rabbit and the rabbit needs the lion then the lion chases the bear. If the bear is blue then the bear chases the rabbit. If someone is red then they need the rabbit.
The bear is rough.
@0: The bear chases the rabbit.[(triple1)] The lion is nice.[(triple2)] The rabbit chases the lion.[(triple3)] @1: The rabbit visits the bear.[(((triple3) -> rule3))] @2: The bear is nice.[(((triple3 ((triple3) -> rule3)) -> rule2))]