The bald eagle eats the bear. The bald eagle eats the rabbit. The bald eagle likes the cow. The bald eagle likes the rabbit. The bear is big. The bear is cold. The bear is nice. The bear sees the cow. The cow eats the rabbit. The cow is not kind. The cow is not nice. The cow likes the bear. The rabbit eats the bear. The rabbit likes the bald eagle. The rabbit likes the bear. If something likes the bear and it eats the bear then it eats the cow. If something eats the bear and it eats the cow then it is not round. If something sees the rabbit then the rabbit is not round. If something likes the cow then the cow eats the bear. If something likes the rabbit then the rabbit does not see the bear. If something likes the cow then the cow likes the bear. If something sees the cow then it sees the rabbit. If the bald eagle is not kind then the bald eagle eats the bear.
The cow does not like the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bear is big.[(triple5)] The bear is cold.[(triple6)] The bear is nice.[(triple7)] The bear sees the cow.[(triple8)] The cow eats the rabbit.[(triple9)] The cow is not kind.[(triple10)] The cow is not nice.[(triple11)] The cow likes the bear.[(triple12 OR ((triple3) -> rule6))] The rabbit eats the bear.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit likes the bear.[(triple15)] @1: The bear sees the rabbit.[(((triple8) -> rule7))] The cow eats the bear.[(((triple3) -> rule4))] The rabbit does not see the bear.[(((triple4) -> rule5))] The rabbit eats the cow.[(((triple15 triple13) -> rule1))] @2: The cow eats the cow.[(((triple12 ((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule6) ((triple3) -> rule4)) -> rule1))] The rabbit is not round.[(((((triple8) -> rule7)) -> rule3) OR ((triple13 ((triple15 triple13) -> rule1)) -> rule2))] @3: The cow is not round.[(((((triple3) -> rule4) ((triple12 ((triple3) -> rule4)) -> rule1)) -> rule2) OR ((((triple3) -> rule4) ((((triple3) -> rule6) ((triple3) -> rule4)) -> rule1)) -> rule2))]