The bald eagle is not kind. The bald eagle sees the cow. The cow is big. The cow is green. The cow is kind. The cow does not like the bald eagle. The rabbit eats the cow. The rabbit is blue. The rabbit is young. The rabbit likes the cow. If the cow is young then the cow sees the rabbit. If someone is young then they see the bald eagle. If someone eats the cow and they do not like the bald eagle then the bald eagle sees the rabbit. If someone sees the cow then they like the rabbit. If the cow sees the rabbit and the cow likes the bald eagle then the cow is kind. If someone eats the cow then they are young. If someone is kind and they eat the cow then they like the cow. If someone likes the rabbit then the rabbit sees the cow.
The bald eagle does not eat the cow.
@0: The bald eagle is not kind.[(triple1)] The bald eagle sees the cow.[(triple2)] The cow does not like the bald eagle.[(triple6)] The cow is big.[(triple3)] The cow is green.[(triple4)] The cow is kind.[(triple5)] The rabbit eats the cow.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is young.[(triple9 OR ((triple7) -> rule6))] The rabbit likes the cow.[(triple10)] @1: The bald eagle likes the rabbit.[(((triple2) -> rule4))] The rabbit sees the bald eagle.[(((triple9) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] @2: The rabbit sees the cow.[(((((triple2) -> rule4)) -> rule8))] @3: The rabbit likes the rabbit.[(((((((triple2) -> rule4)) -> rule8)) -> rule4))]