The bald eagle is big. The cat is blue. The lion chases the cat. If something sees the bald eagle then the bald eagle does not visit the cat. If the bald eagle sees the lion and the lion sees the bald eagle then the bald eagle visits the cat. If the lion chases the cat then the lion is nice. If something chases the cat and it sees the bald eagle then the cat visits the lion. If something is round and it does not visit the lion then the lion visits the cat. If something visits the cat and it chases the cat then it is nice. If something is nice then it is kind. If something is big and it chases the lion then it is kind.
The cat does not visit the lion.
@0: The bald eagle is big.[(triple1)] The cat is blue.[(triple2)] The lion chases the cat.[(triple3)] @1: The lion is nice.[(((triple3) -> rule3))] @2: The lion is kind.[(((((triple3) -> rule3)) -> rule7))]