The bald eagle eats the cow. The bald eagle eats the mouse. The bald eagle is kind. The cow is kind. The cow is round. The cow sees the bald eagle. The mouse eats the bald eagle. The mouse eats the cow. The mouse sees the cow. The mouse visits the cow. If someone sees the cow then the cow is rough. If the cow visits the bald eagle then the bald eagle is nice. If someone is kind then they are rough.
The mouse is nice.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is kind.[(triple3)] The cow is kind.[(triple4)] The cow is round.[(triple5)] The cow sees the bald eagle.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse eats the cow.[(triple8)] The mouse sees the cow.[(triple9)] The mouse visits the cow.[(triple10)] @1: The bald eagle is rough.[(((triple3) -> rule3))] The cow is rough.[(((triple4) -> rule3) OR ((triple9) -> rule1))]