The bald eagle is round. The bald eagle is young. The bald eagle needs the cat. The bald eagle sees the lion. The cat eats the bald eagle. The cat eats the lion. The cat is kind. The cat is round. The cat sees the bald eagle. The cat sees the lion. The lion eats the bald eagle. The lion does not eat the cat. The lion is young. The lion sees the bald eagle. The lion does not see the cat. If something needs the bald eagle then the bald eagle needs the cat. If something is rough then it sees the cat. If the cat sees the lion and the cat does not need the lion then the cat is not rough. If something eats the bald eagle and it does not see the lion then the bald eagle is young. If something eats the bald eagle and it sees the cat then it eats the cat. If the lion sees the bald eagle then the bald eagle is blue.
The bald eagle does not eat the cat.
@0: The bald eagle is round.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle sees the lion.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat eats the lion.[(triple6)] The cat is kind.[(triple7)] The cat is round.[(triple8)] The cat sees the bald eagle.[(triple9)] The cat sees the lion.[(triple10)] The lion does not eat the cat.[(triple12)] The lion does not see the cat.[(triple15)] The lion eats the bald eagle.[(triple11)] The lion is young.[(triple13)] The lion sees the bald eagle.[(triple14)] @1: The bald eagle is blue.[(((triple14) -> rule6))]