The bald eagle eats the cow. The bald eagle does not eat the rabbit. The bald eagle is big. The bald eagle is cold. The bald eagle likes the cow. The bald eagle sees the cow. The bald eagle sees the rabbit. The cow eats the bald eagle. The cow eats the rabbit. The cow likes the bald eagle. The cow sees the rabbit. The rabbit eats the cow. The rabbit is cold. The rabbit likes the bald eagle. The rabbit likes the cow. If something eats the rabbit and it likes the rabbit then it does not see the rabbit. If something eats the cow then it sees the bald eagle. If something sees the bald eagle then it is not red.
The bald eagle is not red.
@0: The bald eagle does not eat the rabbit.[(triple2)] The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle likes the cow.[(triple5)] The bald eagle sees the cow.[(triple6)] The bald eagle sees the rabbit.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow eats the rabbit.[(triple9)] The cow likes the bald eagle.[(triple10)] The cow sees the rabbit.[(triple11)] The rabbit eats the cow.[(triple12)] The rabbit is cold.[(triple13)] The rabbit likes the bald eagle.[(triple14)] The rabbit likes the cow.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule2))] The rabbit sees the bald eagle.[(((triple12) -> rule2))] @2: The bald eagle is not red.[(((((triple1) -> rule2)) -> rule3))] The rabbit is not red.[(((((triple12) -> rule2)) -> rule3))]