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