The bald eagle chases the cat. The bald eagle does not chase the mouse. The bald eagle is young. The cat does not chase the bald eagle. The cat does not eat the bald eagle. The cat is rough. The cat is young. The cat sees the bald eagle. The lion chases the bald eagle. The lion chases the cat. The lion eats the bald eagle. The lion eats the cat. The mouse chases the bald eagle. The mouse chases the lion. The mouse eats the bald eagle. The mouse is young. If something is kind then it is round. If something chases the bald eagle then it is round. If something is round then it sees the bald eagle. If something chases the cat and the cat chases the bald eagle then it eats the bald eagle. If something chases the cat then the cat sees the lion. If something sees the cat then it chases the bald eagle. If the bald eagle is young and the bald eagle chases the lion then the bald eagle sees the lion. If the mouse eats the cat and the mouse eats the bald eagle then the bald eagle eats the cat. If something sees the bald eagle and it chases the cat then the bald eagle sees the cat.
The bald eagle sees the lion.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle does not chase the mouse.[(triple2)] The bald eagle is young.[(triple3)] The cat does not chase the bald eagle.[(triple4)] The cat does not eat the bald eagle.[(triple5)] The cat is rough.[(triple6)] The cat is young.[(triple7)] The cat sees the bald eagle.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion chases the cat.[(triple10)] The lion eats the bald eagle.[(triple11)] The lion eats the cat.[(triple12)] The mouse chases the bald eagle.[(triple13)] The mouse chases the lion.[(triple14)] The mouse eats the bald eagle.[(triple15)] The mouse is young.[(triple16)] @1: The cat sees the lion.[(((triple1) -> rule5) OR ((triple10) -> rule5))] The lion is round.[(((triple9) -> rule2))] The mouse is round.[(((triple13) -> rule2))] @2: The lion sees the bald eagle.[(((((triple9) -> rule2)) -> rule3))] The mouse sees the bald eagle.[(((((triple13) -> rule2)) -> rule3))] @3: The bald eagle sees the cat.[(((((((triple9) -> rule2)) -> rule3) triple10) -> rule9))] @4: The bald eagle chases the bald eagle.[(((((((((triple9) -> rule2)) -> rule3) triple10) -> rule9)) -> rule6))] @5: The bald eagle is round.[(((((((((((triple9) -> rule2)) -> rule3) triple10) -> rule9)) -> rule6)) -> rule2))] @6: The bald eagle sees the bald eagle.[(((((((((((((triple9) -> rule2)) -> rule3) triple10) -> rule9)) -> rule6)) -> rule2)) -> rule3))]