The bald eagle eats the cow. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is round. The bald eagle likes the cow. The bald eagle sees the cow. The cow eats the bald eagle. The cow is red. The cow is rough. The cow is round. The cow sees the bald eagle. If someone sees the cow then the cow is rough. If the bald eagle sees the cow and the bald eagle is red then the cow sees the bald eagle. If someone is kind then they like the bald eagle. If someone likes the bald eagle and they do not eat the cow then the cow likes the bald eagle. If the bald eagle sees the cow and the cow does not see the bald eagle then the bald eagle is round. If someone eats the bald eagle then the bald eagle likes the cow. If someone is green and they do not see the bald eagle then the bald eagle likes the cow. If someone is green and they do not like the cow then the cow is red.
The cow is not round.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle likes the cow.[(triple6 OR ((triple8) -> rule6))] The bald eagle sees the cow.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow is red.[(triple9)] The cow is rough.[(triple10 OR ((triple7) -> rule1))] The cow is round.[(triple11)] The cow sees the bald eagle.[(triple12 OR ((triple7 triple4) -> rule2))] @1: The bald eagle likes the bald eagle.[(((triple3) -> rule3))]