The bald eagle eats the cat. The bald eagle is not kind. The bald eagle visits the lion. The cat likes the mouse. The cat visits the lion. The lion does not eat the cat. The lion is rough. The lion does not like the bald eagle. The lion likes the mouse. The lion visits the bald eagle. The mouse is kind. The mouse likes the bald eagle. The mouse likes the cat. The mouse likes the lion. The mouse does not visit the lion. If someone is blue then they like the mouse. If someone likes the cat and they do not like the bald eagle then the bald eagle visits the cat. If someone likes the bald eagle and the bald eagle visits the cat then the cat does not eat the bald eagle. If the bald eagle is big and the bald eagle eats the lion then the bald eagle likes the mouse. If someone is rough and they like the lion then the lion eats the bald eagle. If someone eats the cat then they visit the bald eagle. If the bald eagle is big and the bald eagle eats the lion then the lion is rough. If someone is kind and not rough then they eat the mouse.
The lion is not rough.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle visits the lion.[(triple3)] The cat likes the mouse.[(triple4)] The cat visits the lion.[(triple5)] The lion does not eat the cat.[(triple6)] The lion does not like the bald eagle.[(triple8)] The lion is rough.[(triple7)] The lion likes the mouse.[(triple9)] The lion visits the bald eagle.[(triple10)] The mouse does not visit the lion.[(triple15)] The mouse is kind.[(triple11)] The mouse likes the bald eagle.[(triple12)] The mouse likes the cat.[(triple13)] The mouse likes the lion.[(triple14)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule6))]