The bald eagle is kind. The bald eagle is young. The bald eagle likes the cow. The bald eagle sees the bear. The bald eagle sees the cow. The bear eats the cow. The bear is blue. The bear likes the bald eagle. The bear likes the cow. The bear sees the cow. The cow eats the bald eagle. The cow eats the bear. The cow is big. The cow likes the bear. The cow sees the bear. If the cow eats the bald eagle then the bald eagle likes the cow. If someone eats the bear and they eat the cow then the bear sees the cow. If the bald eagle is kind then the bald eagle sees the bear. If someone is big then they eat the cow. If someone is green and kind then they eat the bear. If the bear sees the bald eagle and the bear eats the bald eagle then the bear sees the cow.
The cow is blue.
@0: The bald eagle is kind.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the cow.[(triple3 OR ((triple11) -> rule1))] The bald eagle sees the bear.[(triple4 OR ((triple1) -> rule3))] The bald eagle sees the cow.[(triple5)] The bear eats the cow.[(triple6)] The bear is blue.[(triple7)] The bear likes the bald eagle.[(triple8)] The bear likes the cow.[(triple9)] The bear sees the cow.[(triple10 OR ((triple12 ((triple13) -> rule4)) -> rule2))] The cow eats the bald eagle.[(triple11)] The cow eats the bear.[(triple12)] The cow is big.[(triple13)] The cow likes the bear.[(triple14)] The cow sees the bear.[(triple15)] @1: The cow eats the cow.[(((triple13) -> rule4))]