The bald eagle is not blue. The bald eagle is red. The bald eagle likes the cow. The bald eagle likes the dog. The cow eats the dog. The cow eats the rabbit. The cow is red. The cow likes the bald eagle. The cow sees the dog. The cow does not see the rabbit. The dog eats the rabbit. The dog is not big. The dog is nice. The dog sees the cow. The rabbit does not see the dog. If someone is red then they eat the bald eagle. If someone is blue then they see the cow. If someone eats the bald eagle then they see the cow. If someone eats the cow then the cow is nice. If someone eats the cow then they are not nice. If someone is red then they see the dog.
The rabbit eats the cow.
@0: The bald eagle is not blue.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle likes the dog.[(triple4)] The cow does not see the rabbit.[(triple10)] The cow eats the dog.[(triple5)] The cow eats the rabbit.[(triple6)] The cow is red.[(triple7)] The cow likes the bald eagle.[(triple8)] The cow sees the dog.[(triple9 OR ((triple7) -> rule6))] The dog eats the rabbit.[(triple11)] The dog is nice.[(triple13)] The dog is not big.[(triple12)] The dog sees the cow.[(triple14)] The rabbit does not see the dog.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple2) -> rule1))] The bald eagle sees the dog.[(((triple2) -> rule6))] The cow eats the bald eagle.[(((triple7) -> rule1))] @2: The bald eagle sees the cow.[(((((triple2) -> rule1)) -> rule3))] The cow sees the cow.[(((((triple7) -> rule1)) -> rule3))]