The bald eagle sees the dog. The bald eagle visits the lion. The bald eagle does not visit the rabbit. The dog eats the bald eagle. The lion is nice. The lion is red. The lion does not see the bald eagle. The lion visits the bald eagle. The rabbit eats the lion. The rabbit sees the bald eagle. The rabbit sees the lion. The rabbit does not visit the dog. If someone sees the lion and they do not eat the bald eagle then they eat the dog. If someone is blue and red then they eat the dog. If someone eats the bald eagle then they visit the lion. If someone eats the lion and the lion eats the bald eagle then the bald eagle does not visit the rabbit. If someone eats the lion then they see the dog. If someone sees the rabbit then they are young. If someone is nice and they eat the lion then the lion is not blue. If someone is red and they do not eat the dog then they do not visit the dog.
The rabbit is not young.
@0: The bald eagle does not visit the rabbit.[(triple3)] The bald eagle sees the dog.[(triple1)] The bald eagle visits the lion.[(triple2)] The dog eats the bald eagle.[(triple4)] The lion does not see the bald eagle.[(triple7)] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion visits the bald eagle.[(triple8)] The rabbit does not visit the dog.[(triple12)] The rabbit eats the lion.[(triple9)] The rabbit sees the bald eagle.[(triple10)] The rabbit sees the lion.[(triple11)] @1: The dog visits the lion.[(((triple4) -> rule3))] The rabbit sees the dog.[(((triple9) -> rule5))]