The bald eagle needs the bear. The bear needs the lion. The cat needs the bald eagle. The lion eats the cat. If something is rough and it eats the bald eagle then it needs the bald eagle. If something chases the bear then the bear needs the bald eagle. If something chases the bear and the bear needs the lion then the bear needs the bald eagle. If something chases the bear then it needs the lion. If something needs the lion then it is red. If something eats the cat then the cat chases the bear.
The cat is red.
@0: The bald eagle needs the bear.[(triple1)] The bear needs the lion.[(triple2)] The cat needs the bald eagle.[(triple3)] The lion eats the cat.[(triple4)] @1: The bear is red.[(((triple2) -> rule5))] The cat chases the bear.[(((triple4) -> rule6))] @2: The bear needs the bald eagle.[(((((triple4) -> rule6)) -> rule2) OR ((((triple4) -> rule6) triple2) -> rule3))] The cat needs the lion.[(((((triple4) -> rule6)) -> rule4))] @3: The cat is red.[(((((((triple4) -> rule6)) -> rule4)) -> rule5))]