The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle needs the rabbit. The bald eagle sees the dog. The bald eagle sees the rabbit. The cat eats the rabbit. The cat is young. The cat does not need the bald eagle. The dog eats the bald eagle. The dog is blue. The dog is young. The dog sees the bald eagle. The dog sees the cat. The rabbit sees the bald eagle. The rabbit sees the cat. If the bald eagle eats the cat then the bald eagle is big. If someone sees the bald eagle then they do not eat the cat. If someone needs the dog then they eat the cat. If someone needs the bald eagle and they do not see the rabbit then the bald eagle is blue. If the dog is round then the dog is young. If someone eats the rabbit then the rabbit eats the bald eagle.
The dog is not blue.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The bald eagle sees the dog.[(triple4)] The bald eagle sees the rabbit.[(triple5)] The cat does not need the bald eagle.[(triple8)] The cat eats the rabbit.[(triple6)] The cat is young.[(triple7)] The dog eats the bald eagle.[(triple9)] The dog is blue.[(triple10)] The dog is young.[(triple11)] The dog sees the bald eagle.[(triple12)] The dog sees the cat.[(triple13)] The rabbit sees the bald eagle.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The bald eagle is big.[(((triple1) -> rule1))] The dog does not eat the cat.[(((triple12) -> rule2))] The rabbit does not eat the cat.[(((triple14) -> rule2))] The rabbit eats the bald eagle.[(((triple6) -> rule6))]