The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle is kind. The bald eagle visits the rabbit. The bald eagle visits the tiger. The lion visits the bald eagle. The rabbit chases the bald eagle. The rabbit is green. The rabbit is kind. The rabbit is nice. The tiger is cold. The tiger is green. The tiger is nice. The tiger sees the rabbit. The tiger visits the bald eagle. The tiger visits the lion. If something sees the tiger then it is kind. Kind, nice things are green. If the bald eagle visits the lion then the bald eagle visits the rabbit.
The bald eagle visits the tiger.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The bald eagle visits the tiger.[(triple5)] The lion visits the bald eagle.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit is green.[(triple8 OR ((triple9 triple10) -> rule2))] The rabbit is kind.[(triple9)] The rabbit is nice.[(triple10)] The tiger is cold.[(triple11)] The tiger is green.[(triple12)] The tiger is nice.[(triple13)] The tiger sees the rabbit.[(triple14)] The tiger visits the bald eagle.[(triple15)] The tiger visits the lion.[(triple16)]