The bald eagle is round. The cow visits the tiger. The rabbit chases the bald eagle. The rabbit is blue. The rabbit is round. The rabbit visits the bald eagle. The tiger is red. The tiger is round. The tiger needs the rabbit. The tiger visits the bald eagle. If something chases the tiger and it visits the tiger then the tiger is rough. If something is blue then it visits the cow. If something is red and it chases the tiger then the tiger needs the bald eagle. If the tiger visits the cow then the cow needs the bald eagle. If something chases the cow then it is rough. If something visits the rabbit and it needs the bald eagle then it visits the cow. If the tiger visits the cow and the tiger is nice then the tiger needs the rabbit. If something is rough and it needs the bald eagle then it visits the rabbit.
The rabbit does not visit the bald eagle.
@0: The bald eagle is round.[(triple1)] The cow visits the tiger.[(triple2)] The rabbit chases the bald eagle.[(triple3)] The rabbit is blue.[(triple4)] The rabbit is round.[(triple5)] The rabbit visits the bald eagle.[(triple6)] The tiger is red.[(triple7)] The tiger is round.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The rabbit visits the cow.[(((triple4) -> rule2))]