The bald eagle is young. The lion does not see the rabbit. The rabbit eats the lion. The tiger chases the lion. If something sees the bald eagle and it is not blue then it is rough. If the rabbit eats the tiger then the rabbit sees the lion. If the bald eagle is red then the bald eagle chases the tiger. If something eats the lion and the lion does not see the rabbit then the rabbit is not red. If something eats the bald eagle and it sees the bald eagle then it chases the bald eagle. If the rabbit is young and the rabbit chases the lion then the lion does not eat the tiger. If something chases the lion and it does not chase the rabbit then the rabbit is not young. If something chases the rabbit and it sees the bald eagle then it sees the lion.
The tiger sees the lion.
@0: The bald eagle is young.[(triple1)] The lion does not see the rabbit.[(triple2)] The rabbit eats the lion.[(triple3)] The tiger chases the lion.[(triple4)] @1: The rabbit is not red.[(((triple3 triple2) -> rule4))]