The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is red. The bald eagle is round. The bald eagle needs the rabbit. The lion eats the bald eagle. The lion needs the rabbit. The rabbit chases the bald eagle. The rabbit chases the lion. The rabbit eats the lion. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit needs the bald eagle. If the rabbit needs the bald eagle then the bald eagle chases the lion. If something eats the rabbit and it chases the bald eagle then the rabbit chases the lion. If something is round and it eats the bald eagle then the bald eagle eats the lion. If the lion chases the rabbit and the rabbit eats the bald eagle then the lion is rough. If something is red and it chases the lion then the lion needs the rabbit. If something chases the rabbit and the rabbit chases the lion then it eats the bald eagle. If something eats the lion then it chases the bald eagle. If something needs the lion then it chases the rabbit.
The bald eagle eats the bald eagle.
@0: The bald eagle chases the lion.[(triple1 OR ((triple16) -> rule1))] The bald eagle chases the rabbit.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle needs the rabbit.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion needs the rabbit.[(triple9 OR ((triple5 triple1) -> rule5) OR ((triple5 ((triple16) -> rule1)) -> rule5))] The rabbit chases the bald eagle.[(triple10 OR ((triple12) -> rule7))] The rabbit chases the lion.[(triple11)] The rabbit eats the lion.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is rough.[(triple14)] The rabbit is round.[(triple15)] The rabbit needs the bald eagle.[(triple16)] @1: The bald eagle eats the bald eagle.[(((triple2 triple11) -> rule6))] @2: The bald eagle eats the lion.[(((triple6 ((triple2 triple11) -> rule6)) -> rule3))] @3: The bald eagle chases the bald eagle.[(((((triple6 ((triple2 triple11) -> rule6)) -> rule3)) -> rule7))]