The bald eagle is red. The bald eagle is round. The bald eagle is young. The bald eagle needs the dog. The bald eagle does not see the dog. The dog is red. The dog is young. The dog likes the rabbit. The dog needs the bald eagle. The dog sees the bald eagle. The dog does not see the rabbit. The rabbit is not nice. The rabbit likes the bald eagle. The rabbit needs the bald eagle. The rabbit sees the bald eagle. If someone sees the dog then they do not like the bald eagle. If someone likes the rabbit and they are young then they see the dog.
The dog does not see the dog.
@0: The bald eagle does not see the dog.[(triple5)] The bald eagle is red.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle needs the dog.[(triple4)] The dog does not see the rabbit.[(triple11)] The dog is red.[(triple6)] The dog is young.[(triple7)] The dog likes the rabbit.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog sees the bald eagle.[(triple10)] The rabbit is not nice.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit needs the bald eagle.[(triple14)] The rabbit sees the bald eagle.[(triple15)] @1: The dog sees the dog.[(((triple8 triple7) -> rule2))] @2: The dog does not like the bald eagle.[(((((triple8 triple7) -> rule2)) -> rule1))]