The bald eagle does not eat the rabbit. The bald eagle is young. The bald eagle likes the cow. The bald eagle likes the rabbit. The cow eats the bald eagle. The cow likes the rabbit. The cow sees the bald eagle. The cow sees the rabbit. The rabbit eats the cow. The rabbit sees the bald eagle. If something sees the rabbit then the rabbit does not like the cow. If something sees the cow then the cow likes the bald eagle. If something sees the rabbit then the rabbit is rough. If something sees the bald eagle and it is young then the bald eagle is not young. If something is kind then it does not eat the rabbit. Red things are nice. If the bald eagle is red and the bald eagle eats the cow then the cow eats the bald eagle. If something eats the bald eagle then it is rough.
The bald eagle does not like the rabbit.
@0: The bald eagle does not eat the rabbit.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow likes the rabbit.[(triple6)] The cow sees the bald eagle.[(triple7)] The cow sees the rabbit.[(triple8)] The rabbit eats the cow.[(triple9)] The rabbit sees the bald eagle.[(triple10)] @1: The cow is rough.[(((triple5) -> rule8))] The rabbit does not like the cow.[(((triple8) -> rule1))] The rabbit is rough.[(((triple8) -> rule3))]