The bald eagle is nice. The bald eagle sees the tiger. The bald eagle does not visit the tiger. The lion chases the tiger. The lion is not kind. The lion is rough. The lion visits the tiger. The rabbit chases the tiger. The rabbit is round. The tiger sees the rabbit. The tiger visits the bald eagle. The tiger visits the lion. If something visits the bald eagle and it chases the rabbit then it does not chase the bald eagle. If the rabbit visits the bald eagle and the rabbit sees the tiger then the rabbit chases the lion. If something visits the lion and it is nice then the lion sees the tiger. If something chases the lion then the lion is round. If something visits the tiger and it is not blue then it visits the lion. If something is round then it chases the lion.
The bald eagle is not nice.
@0: The bald eagle does not visit the tiger.[(triple3)] The bald eagle is nice.[(triple1)] The bald eagle sees the tiger.[(triple2)] The lion chases the tiger.[(triple4)] The lion is not kind.[(triple5)] The lion is rough.[(triple6)] The lion visits the tiger.[(triple7)] The rabbit chases the tiger.[(triple8)] The rabbit is round.[(triple9)] The tiger sees the rabbit.[(triple10)] The tiger visits the bald eagle.[(triple11)] The tiger visits the lion.[(triple12)] @1: The rabbit chases the lion.[(((triple9) -> rule6))] @2: The lion is round.[(((((triple9) -> rule6)) -> rule4))] @3: The lion chases the lion.[(((((((triple9) -> rule6)) -> rule4)) -> rule6))]