The bald eagle chases the tiger. The bald eagle is kind. The rabbit chases the bald eagle. The rabbit chases the tiger. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit needs the bald eagle. The rabbit needs the tiger. The rabbit visits the bald eagle. The rabbit visits the tiger. The tiger chases the bald eagle. The tiger chases the rabbit. The tiger is rough. The tiger visits the rabbit. All blue people are young. If someone visits the bald eagle and the bald eagle needs the tiger then the bald eagle chases the rabbit. If someone is blue then they visit the rabbit.
The tiger visits the rabbit.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is kind.[(triple2)] The rabbit chases the bald eagle.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit is blue.[(triple5)] The rabbit is green.[(triple6)] The rabbit is kind.[(triple7)] The rabbit needs the bald eagle.[(triple8)] The rabbit needs the tiger.[(triple9)] The rabbit visits the bald eagle.[(triple10)] The rabbit visits the tiger.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger chases the rabbit.[(triple13)] The tiger is rough.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The rabbit is young.[(((triple5) -> rule1))] The rabbit visits the rabbit.[(((triple5) -> rule3))]