The bald eagle visits the mouse. The cat is big. The cat is kind. The cat likes the mouse. The lion likes the bald eagle. The mouse likes the bald eagle. The mouse visits the cat. If the cat chases the mouse and the mouse is kind then the mouse chases the cat. Blue people are big. If someone chases the mouse then they visit the mouse. If someone chases the mouse then the mouse chases the bald eagle. If someone visits the mouse and the mouse visits the bald eagle then they are kind. If someone likes the bald eagle then the bald eagle is blue. If the lion likes the cat then the cat likes the bald eagle. If someone chases the lion and the lion is round then they visit the cat.
The lion is not big.
@0: The bald eagle visits the mouse.[(triple1)] The cat is big.[(triple2)] The cat is kind.[(triple3)] The cat likes the mouse.[(triple4)] The lion likes the bald eagle.[(triple5)] The mouse likes the bald eagle.[(triple6)] The mouse visits the cat.[(triple7)] @1: The bald eagle is blue.[(((triple5) -> rule6) OR ((triple6) -> rule6))] @2: The bald eagle is big.[(((((triple5) -> rule6)) -> rule2) OR ((((triple6) -> rule6)) -> rule2))]