The bald eagle needs the dog. The dog needs the rabbit. The lion eats the dog. The rabbit needs the lion. If someone likes the dog and the dog is rough then they eat the rabbit. All cold people are red. If someone needs the lion then they eat the bald eagle. If someone is green and they like the dog then the dog likes the bald eagle. If someone eats the bald eagle then they are cold. Green people are red.
The bald eagle is not red.
@0: The bald eagle needs the dog.[(triple1)] The dog needs the rabbit.[(triple2)] The lion eats the dog.[(triple3)] The rabbit needs the lion.[(triple4)] @1: The rabbit eats the bald eagle.[(((triple4) -> rule3))] @2: The rabbit is cold.[(((((triple4) -> rule3)) -> rule5))] @3: The rabbit is red.[(((((((triple4) -> rule3)) -> rule5)) -> rule2))]