The bald eagle needs the cat. The bald eagle needs the lion. The bear eats the bald eagle. The bear eats the cat. The bear eats the lion. The cat is rough. The cat needs the bald eagle. The lion chases the cat. The lion is rough. The lion needs the bear. If the bald eagle needs the cat and the cat eats the bear then the cat chases the bald eagle. If someone chases the bald eagle then the bald eagle is big. If someone is cold then they eat the cat. If someone is round then they eat the lion. If someone needs the lion and they chase the bald eagle then they are cold. If someone needs the lion then they chase the lion. If someone is blue then they eat the bald eagle. If someone eats the bald eagle then the bald eagle needs the cat.
The lion does not need the bear.
@0: The bald eagle needs the cat.[(triple1 OR ((triple3) -> rule8))] The bald eagle needs the lion.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear eats the cat.[(triple4)] The bear eats the lion.[(triple5)] The cat is rough.[(triple6)] The cat needs the bald eagle.[(triple7)] The lion chases the cat.[(triple8)] The lion is rough.[(triple9)] The lion needs the bear.[(triple10)] @1: The bald eagle chases the lion.[(((triple2) -> rule6))]