The bald eagle is young. The cat is red. The lion sees the mouse. The mouse is red. If someone is blue and red then they see the cat. If someone is green then they visit the bald eagle. If someone visits the cat then they visit the bald eagle. If someone sees the cat then they see the mouse. If someone visits the mouse then the mouse sees the lion. If someone sees the mouse and the mouse is red then they see the lion. If someone sees the bald eagle then the bald eagle sees the mouse. If someone sees the lion then the lion needs the cat.
The lion sees the lion.
@0: The bald eagle is young.[(triple1)] The cat is red.[(triple2)] The lion sees the mouse.[(triple3)] The mouse is red.[(triple4)] @1: The lion sees the lion.[(((triple3 triple4) -> rule6))] @2: The lion needs the cat.[(((((triple3 triple4) -> rule6)) -> rule8))]