The bald eagle sees the rabbit. The bear eats the bald eagle. The cow is blue. The cow visits the bald eagle. The cow does not visit the bear. The cow visits the rabbit. The rabbit eats the cow. The rabbit is round. The rabbit sees the bear. The rabbit does not visit the bear. If something sees the bear then it is rough. If something is young then it visits the bald eagle. If the cow is rough and the cow does not see the rabbit then the rabbit visits the bald eagle. If something eats the rabbit then the rabbit does not see the bald eagle. If the bear does not eat the rabbit then the rabbit sees the bald eagle. If something eats the cow and it is rough then the cow eats the rabbit. If something is rough then it does not see the cow. If something sees the rabbit and the rabbit does not see the cow then the cow eats the bald eagle.
The cow sees the bear.
@0: The bald eagle sees the rabbit.[(triple1)] The bear eats the bald eagle.[(triple2)] The cow does not visit the bear.[(triple5)] The cow is blue.[(triple3)] The cow visits the bald eagle.[(triple4)] The cow visits the rabbit.[(triple6)] The rabbit does not visit the bear.[(triple10)] The rabbit eats the cow.[(triple7)] The rabbit is round.[(triple8)] The rabbit sees the bear.[(triple9)] @1: The rabbit is rough.[(((triple9) -> rule1))] @2: The cow eats the rabbit.[(((triple7 ((triple9) -> rule1)) -> rule6))] The rabbit does not see the cow.[(((((triple9) -> rule1)) -> rule7))] @3: The cow eats the bald eagle.[(((triple1 ((((triple9) -> rule1)) -> rule7)) -> rule8))] The rabbit does not see the bald eagle.[(((((triple7 ((triple9) -> rule1)) -> rule6)) -> rule4))]