The bald eagle eats the dog. The bald eagle sees the dog. The bald eagle sees the rabbit. The dog is nice. The dog is rough. The dog likes the rabbit. The rabbit eats the bald eagle. The rabbit eats the dog. The rabbit is blue. The rabbit is nice. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the dog. The rabbit sees the bald eagle. The rabbit sees the dog. If someone eats the dog and the dog is nice then they eat the rabbit.
The dog sees the rabbit.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle sees the dog.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The dog is nice.[(triple4)] The dog is rough.[(triple5)] The dog likes the rabbit.[(triple6)] The rabbit eats the bald eagle.[(triple7)] The rabbit eats the dog.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is nice.[(triple10)] The rabbit is rough.[(triple11)] The rabbit likes the bald eagle.[(triple12)] The rabbit likes the dog.[(triple13)] The rabbit sees the bald eagle.[(triple14)] The rabbit sees the dog.[(triple15)] @1: The bald eagle eats the rabbit.[(((triple1 triple4) -> rule1))] The rabbit eats the rabbit.[(((triple8 triple4) -> rule1))]