The bald eagle is not kind. The bald eagle does not like the cow. The bald eagle needs the cow. The bald eagle sees the cow. The cat is kind. The cat is red. The cat likes the bald eagle. The cat likes the mouse. The cat sees the bald eagle. The cat sees the cow. The cow is red. The cow does not like the cat. The mouse likes the bald eagle. The mouse likes the cow. The mouse needs the cat. The mouse sees the cat. If someone likes the cat then they see the mouse. If someone needs the cow and the cow needs the bald eagle then they see the mouse. If someone likes the cat and the cat sees the bald eagle then they do not see the cow. If someone likes the mouse then the mouse sees the cow. If someone needs the mouse then the mouse sees the cat. If someone sees the bald eagle and the bald eagle is young then they do not like the mouse. If someone sees the cat then they like the mouse. If someone is young and they do not see the mouse then they are kind.
The cat does not see the bald eagle.
@0: The bald eagle does not like the cow.[(triple2)] The bald eagle is not kind.[(triple1)] The bald eagle needs the cow.[(triple3)] The bald eagle sees the cow.[(triple4)] The cat is kind.[(triple5)] The cat is red.[(triple6)] The cat likes the bald eagle.[(triple7)] The cat likes the mouse.[(triple8)] The cat sees the bald eagle.[(triple9)] The cat sees the cow.[(triple10)] The cow does not like the cat.[(triple12)] The cow is red.[(triple11)] The mouse likes the bald eagle.[(triple13)] The mouse likes the cow.[(triple14)] The mouse needs the cat.[(triple15)] The mouse sees the cat.[(triple16)] @1: The mouse likes the mouse.[(((triple16) -> rule7))] The mouse sees the cow.[(((triple8) -> rule4) OR ((((triple16) -> rule7)) -> rule4))]