The bald eagle is blue. The bald eagle is not green. The bald eagle visits the lion. The bald eagle visits the rabbit. The lion chases the bald eagle. The lion chases the rabbit. The lion is nice. The lion is not round. The lion sees the rabbit. The rabbit chases the bald eagle. The rabbit is blue. The rabbit is not kind. The rabbit is not nice. The rabbit sees the bald eagle. The rabbit sees the lion. The rabbit visits the bald eagle. If something visits the bald eagle then it sees the rabbit.
The lion does not chase the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle visits the lion.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion chases the rabbit.[(triple6)] The lion is nice.[(triple7)] The lion is not round.[(triple8)] The lion sees the rabbit.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is not kind.[(triple12)] The rabbit is not nice.[(triple13)] The rabbit sees the bald eagle.[(triple14)] The rabbit sees the lion.[(triple15)] The rabbit visits the bald eagle.[(triple16)] @1: The rabbit sees the rabbit.[(((triple16) -> rule1))]