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