The bald eagle is big. The bear needs the cat. The cat does not chase the bald eagle. The lion is big. If someone is kind then they do not eat the lion. If the bald eagle is big then the bald eagle needs the lion. If someone is rough and they chase the bear then they do not need the bear. If someone needs the lion then the lion is kind. If someone needs the bear then they chase the lion. If someone chases the bear and they are kind then the bear chases the bald eagle.
The bear does not chase the lion.
@0: The bald eagle is big.[(triple1)] The bear needs the cat.[(triple2)] The cat does not chase the bald eagle.[(triple3)] The lion is big.[(triple4)] @1: The bald eagle needs the lion.[(((triple1) -> rule2))] @2: The lion is kind.[(((((triple1) -> rule2)) -> rule4))] @3: The lion does not eat the lion.[(((((((triple1) -> rule2)) -> rule4)) -> rule1))]