The bear likes the lion. The lion likes the rabbit. The rabbit is big. If someone likes the rabbit then the rabbit likes the bear. If someone likes the bear and the bear likes the lion then the lion likes the bear. If someone eats the rabbit and the rabbit is red then the rabbit eats the bear. If someone is red and round then they do not eat the lion. If someone likes the bear then they eat the lion. If someone is kind and they chase the rabbit then they eat the rabbit. If someone is red and round then they like the rabbit. If the lion is rough and the lion likes the rabbit then the lion is red.
The lion does not like the bear.
@0: The bear likes the lion.[(triple1)] The lion likes the rabbit.[(triple2)] The rabbit is big.[(triple3)] @1: The rabbit likes the bear.[(((triple2) -> rule1))] @2: The lion likes the bear.[(((((triple2) -> rule1) triple1) -> rule2))] The rabbit eats the lion.[(((((triple2) -> rule1)) -> rule5))] @3: The lion eats the lion.[(((((((triple2) -> rule1) triple1) -> rule2)) -> rule5))]