The bald eagle chases the lion. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle is rough. The bald eagle likes the lion. The bald eagle visits the lion. The lion chases the bald eagle. The lion is blue. The lion is cold. The lion is green. The lion is red. The lion is rough. The lion likes the bald eagle. The lion visits the bald eagle. If someone visits the lion then the lion visits the bald eagle. If someone visits the lion and they like the lion then the lion likes the bald eagle. If someone is green and they chase the bald eagle then they like the lion. If someone visits the lion then the lion visits the bald eagle. If someone visits the lion and the lion likes the bald eagle then the lion chases the bald eagle. If someone likes the bald eagle then the bald eagle likes the lion.
The bald eagle visits the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle likes the lion.[(triple7 OR ((triple15) -> rule6))] The bald eagle visits the lion.[(triple8)] The lion chases the bald eagle.[(triple9 OR ((triple8 triple15) -> rule5) OR ((triple8 ((triple8 triple7) -> rule2)) -> rule5))] The lion is blue.[(triple10)] The lion is cold.[(triple11)] The lion is green.[(triple12)] The lion is red.[(triple13)] The lion is rough.[(triple14)] The lion likes the bald eagle.[(triple15 OR ((triple8 triple7) -> rule2))] The lion visits the bald eagle.[(triple16 OR ((triple8) -> rule1) OR ((triple8) -> rule4))] @1: The lion likes the lion.[(((triple12 triple9) -> rule3) OR ((triple12 ((triple8 triple15) -> rule5)) -> rule3) OR ((triple12 ((triple8 ((triple8 triple7) -> rule2)) -> rule5)) -> rule3))]