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