The bald eagle likes the cow. The bear chases the bald eagle. The bear is red. The bear likes the bald eagle. The bear likes the cow. The bear visits the bald eagle. The cow likes the bald eagle. The cow likes the bear. The cow visits the bald eagle. The cow visits the bear. If someone is young and they visit the cow then the cow is big. If someone is kind and they like the bald eagle then the bald eagle visits the cow. If the bear chases the bald eagle and the bald eagle visits the bear then the bear visits the cow. If someone likes the bear and they are young then the bear chases the cow. If someone chases the cow and they chase the bear then the cow visits the bear. If someone visits the cow then they are young. If the bear likes the bald eagle then the bear visits the cow. If someone visits the cow and the cow visits the bald eagle then the bald eagle is big.
The bear does not visit the cow.
@0: The bald eagle likes the cow.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear is red.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the cow.[(triple5)] The bear visits the bald eagle.[(triple6)] The cow likes the bald eagle.[(triple7)] The cow likes the bear.[(triple8)] The cow visits the bald eagle.[(triple9)] The cow visits the bear.[(triple10)] @1: The bear visits the cow.[(((triple4) -> rule7))] @2: The bald eagle is big.[(((((triple4) -> rule7) triple9) -> rule8))] The bear is young.[(((((triple4) -> rule7)) -> rule6))] @3: The cow is big.[(((((((triple4) -> rule7)) -> rule6) ((triple4) -> rule7)) -> rule1))]