The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle eats the cat. The bald eagle is big. The bald eagle is round. The bald eagle sees the lion. The cat chases the bald eagle. The lion does not chase the rabbit. The lion sees the cat. The rabbit chases the bald eagle. The rabbit does not chase the cat. The rabbit is kind. If something chases the rabbit and it is young then it does not see the cat. If something eats the cat then the cat is young.
The rabbit eats the lion.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle eats the cat.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle sees the lion.[(triple6)] The cat chases the bald eagle.[(triple7)] The lion does not chase the rabbit.[(triple8)] The lion sees the cat.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit does not chase the cat.[(triple11)] The rabbit is kind.[(triple12)] @1: The cat is young.[(((triple3) -> rule2))]