The bald eagle is big. The bald eagle is not nice. The cat chases the mouse. The cat is rough. The cat likes the mouse. The cat needs the bald eagle. The mouse chases the bald eagle. The mouse is rough. The mouse does not need the cat. The tiger needs the mouse. If someone likes the bald eagle and the bald eagle is not big then the bald eagle chases the tiger. If the mouse likes the cat then the cat is blue. If someone needs the bald eagle then they like the cat. If someone chases the cat and the cat chases the bald eagle then they like the bald eagle. If someone likes the mouse then the mouse needs the bald eagle. If someone is blue and they chase the bald eagle then the bald eagle is blue.
The bald eagle is not blue.
@0: The bald eagle is big.[(triple1)] The bald eagle is not nice.[(triple2)] The cat chases the mouse.[(triple3)] The cat is rough.[(triple4)] The cat likes the mouse.[(triple5)] The cat needs the bald eagle.[(triple6)] The mouse chases the bald eagle.[(triple7)] The mouse does not need the cat.[(triple9)] The mouse is rough.[(triple8)] The tiger needs the mouse.[(triple10)] @1: The cat likes the cat.[(((triple6) -> rule3))] The mouse needs the bald eagle.[(((triple5) -> rule5))] @2: The mouse likes the cat.[(((((triple5) -> rule5)) -> rule3))] @3: The cat is blue.[(((((((triple5) -> rule5)) -> rule3)) -> rule2))]