The bear eats the rabbit. The bear likes the rabbit. The rabbit likes the bear. If something is green then it chases the bear. If something is big then it likes the bear. If something likes the rabbit and it is big then the rabbit is red. If something is green and it eats the rabbit then the rabbit likes the bear. If something eats the bear then the bear likes the rabbit. If something likes the rabbit then it is big.
The bear eats the bear.
@0: The bear eats the rabbit.[(triple1)] The bear likes the rabbit.[(triple2)] The rabbit likes the bear.[(triple3)] @1: The bear is big.[(((triple2) -> rule6))] @2: The bear likes the bear.[(((((triple2) -> rule6)) -> rule2))] The rabbit is red.[(((triple2 ((triple2) -> rule6)) -> rule3))]