The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle likes the bear. The bear eats the rabbit. The bear visits the dog. The dog eats the bear. The rabbit is nice. If someone eats the bald eagle then they visit the rabbit. If someone visits the dog and they eat the bald eagle then the dog likes the bald eagle. If someone eats the bear then they are nice. If the dog is nice then the dog eats the bald eagle. If someone visits the dog and they are kind then they are young. If the rabbit visits the bald eagle and the rabbit visits the dog then the bald eagle is young.
The bald eagle is not blue.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the bear.[(triple3)] The bear eats the rabbit.[(triple4)] The bear visits the dog.[(triple5)] The dog eats the bear.[(triple6)] The rabbit is nice.[(triple7)] @1: The dog is nice.[(((triple6) -> rule3))] @2: The dog eats the bald eagle.[(((((triple6) -> rule3)) -> rule4))] @3: The dog visits the rabbit.[(((((((triple6) -> rule3)) -> rule4)) -> rule1))]