The bald eagle is nice. The bald eagle likes the dog. The bald eagle likes the lion. The bald eagle does not see the dog. The bald eagle sees the lion. The dog is red. The dog does not like the bald eagle. The dog visits the bald eagle. The dog visits the lion. The lion does not visit the dog. If someone is blue then they see the bald eagle. If someone likes the bald eagle then they like the dog. If the dog likes the bald eagle then the bald eagle is nice. If someone is green then they like the bald eagle. If someone is rough then they visit the dog. If someone likes the dog then the dog does not see the lion. If someone visits the dog then they visit the lion. Green, nice people are rough.
The lion visits the dog.
@0: The bald eagle does not see the dog.[(triple4)] The bald eagle is nice.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle sees the lion.[(triple5)] The dog does not like the bald eagle.[(triple7)] The dog is red.[(triple6)] The dog visits the bald eagle.[(triple8)] The dog visits the lion.[(triple9)] The lion does not visit the dog.[(triple10)] @1: The dog does not see the lion.[(((triple2) -> rule6))]