The bald eagle eats the bear. The bald eagle is big. The bald eagle is nice. The bald eagle likes the bear. The bear eats the bald eagle. The bear likes the bald eagle. The bear likes the cat. The bear visits the bald eagle. The bear visits the cat. The bear visits the mouse. The cat eats the mouse. The cat is big. The cat is blue. The cat likes the bald eagle. The mouse is rough. The mouse visits the cat. If someone eats the mouse then the mouse is blue. If someone eats the bear and they are blue then they visit the cat. If the cat is blue then the cat is big. If someone is blue then they eat the bald eagle. If someone eats the mouse and they visit the bald eagle then the mouse visits the cat. If someone is nice and green then they like the cat.
The bald eagle eats the bald eagle.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle likes the bear.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the cat.[(triple7)] The bear visits the bald eagle.[(triple8)] The bear visits the cat.[(triple9)] The bear visits the mouse.[(triple10)] The cat eats the mouse.[(triple11)] The cat is big.[(triple12 OR ((triple13) -> rule3))] The cat is blue.[(triple13)] The cat likes the bald eagle.[(triple14)] The mouse is rough.[(triple15)] The mouse visits the cat.[(triple16)] @1: The cat eats the bald eagle.[(((triple13) -> rule4))] The mouse is blue.[(((triple11) -> rule1))] @2: The mouse eats the bald eagle.[(((((triple11) -> rule1)) -> rule4))]