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