The bald eagle likes the cow. The bald eagle likes the rabbit. The bald eagle likes the squirrel. The bald eagle visits the squirrel. The cow likes the rabbit. The cow sees the squirrel. The rabbit is rough. The rabbit likes the cow. The rabbit visits the bald eagle. The squirrel is rough. The squirrel likes the bald eagle. The squirrel visits the rabbit. If someone sees the bald eagle then the bald eagle is rough. If someone is young then they like the cow. If someone likes the rabbit then they see the bald eagle. If someone is big then they like the cow. If someone sees the bald eagle and they are rough then the bald eagle likes the squirrel. If someone is rough then they see the rabbit.
The squirrel does not see the rabbit.
@0: The bald eagle likes the cow.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle likes the squirrel.[(triple3 OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule1)) -> rule5) OR ((((triple2) -> rule3) ((((triple5) -> rule3)) -> rule1)) -> rule5))] The bald eagle visits the squirrel.[(triple4)] The cow likes the rabbit.[(triple5)] The cow sees the squirrel.[(triple6)] The rabbit is rough.[(triple7)] The rabbit likes the cow.[(triple8)] The rabbit visits the bald eagle.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple2) -> rule3))] The cow sees the bald eagle.[(((triple5) -> rule3))] The rabbit sees the rabbit.[(((triple7) -> rule6))] The squirrel sees the rabbit.[(((triple10) -> rule6))] @2: The bald eagle is rough.[(((((triple2) -> rule3)) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] @3: The bald eagle sees the rabbit.[(((((((triple2) -> rule3)) -> rule1)) -> rule6) OR ((((((triple5) -> rule3)) -> rule1)) -> rule6))]