The bald eagle is rough. The bald eagle does not like the lion. The bald eagle sees the mouse. The cat does not eat the lion. The cat sees the mouse. The lion sees the cat. The mouse eats the lion. The mouse likes the bald eagle. The mouse sees the bald eagle. The mouse sees the cat. If someone likes the bald eagle and the bald eagle does not like the cat then the cat does not like the lion. If someone eats the mouse then the mouse is kind. If the lion is not rough then the lion is cold. If someone likes the lion then the lion is green. If someone is kind then they like the lion. If someone eats the lion then the lion eats the mouse. If someone likes the cat then they do not like the bald eagle. If someone is green then they like the bald eagle.
The cat does not see the lion.
@0: The bald eagle does not like the lion.[(triple2)] The bald eagle is rough.[(triple1)] The bald eagle sees the mouse.[(triple3)] The cat does not eat the lion.[(triple4)] The cat sees the mouse.[(triple5)] The lion sees the cat.[(triple6)] The mouse eats the lion.[(triple7)] The mouse likes the bald eagle.[(triple8)] The mouse sees the bald eagle.[(triple9)] The mouse sees the cat.[(triple10)] @1: The lion eats the mouse.[(((triple7) -> rule6))] @2: The mouse is kind.[(((((triple7) -> rule6)) -> rule2))] @3: The mouse likes the lion.[(((((((triple7) -> rule6)) -> rule2)) -> rule5))] @4: The lion is green.[(((((((((triple7) -> rule6)) -> rule2)) -> rule5)) -> rule4))] @5: The lion likes the bald eagle.[(((((((((((triple7) -> rule6)) -> rule2)) -> rule5)) -> rule4)) -> rule8))]