The bald eagle is big. The cat visits the lion. The lion eats the cat. The rabbit is kind. If the rabbit sees the bald eagle then the bald eagle is not kind. If the rabbit visits the lion and the rabbit is not big then the lion visits the bald eagle. If something eats the cat then the cat is not green. If something visits the cat and the cat sees the lion then the cat is not green. If the lion sees the rabbit and the cat does not visit the lion then the rabbit does not eat the cat. If something sees the lion and it is young then it does not visit the bald eagle. If the cat sees the rabbit and the cat sees the lion then the cat visits the bald eagle. If something is cold and it does not eat the bald eagle then it sees the bald eagle.
The cat visits the lion.
@0: The bald eagle is big.[(triple1)] The cat visits the lion.[(triple2)] The lion eats the cat.[(triple3)] The rabbit is kind.[(triple4)] @1: The cat is not green.[(((triple3) -> rule3))]