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