The bald eagle likes the bear. The bald eagle likes the cat. The bald eagle visits the bear. The bald eagle visits the mouse. The bear likes the mouse. The bear needs the bald eagle. The bear needs the cat. The bear needs the mouse. The cat is nice. The mouse is big. The mouse needs the bear. The mouse visits the bald eagle. If someone needs the mouse then they like the cat. If the cat visits the bald eagle and the cat is round then the bald eagle is kind. If someone visits the mouse and the mouse is kind then the mouse is rough. If the bear likes the mouse and the mouse needs the bear then the mouse needs the cat. If someone likes the cat then the cat is round. If someone is nice then they like the bear. If someone is kind then they need the mouse. If someone is round then they visit the bald eagle.
The cat visits the bald eagle.
@0: The bald eagle likes the bear.[(triple1)] The bald eagle likes the cat.[(triple2 OR ((((((((((((triple8) -> rule1)) -> rule5)) -> rule8) ((((triple8) -> rule1)) -> rule5)) -> rule2)) -> rule7)) -> rule1))] The bald eagle visits the bear.[(triple3)] The bald eagle visits the mouse.[(triple4)] The bear likes the mouse.[(triple5)] The bear needs the bald eagle.[(triple6)] The bear needs the cat.[(triple7)] The bear needs the mouse.[(triple8)] The cat is nice.[(triple9)] The mouse is big.[(triple10)] The mouse needs the bear.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The bear likes the cat.[(((triple8) -> rule1))] The cat is round.[(((triple2) -> rule5) OR ((((triple8) -> rule1)) -> rule5))] The cat likes the bear.[(((triple9) -> rule6))] The mouse needs the cat.[(((triple5 triple11) -> rule4))] @2: The cat visits the bald eagle.[(((((triple2) -> rule5)) -> rule8) OR ((((((triple8) -> rule1)) -> rule5)) -> rule8))] @3: The bald eagle is kind.[(((((((triple2) -> rule5)) -> rule8) ((triple2) -> rule5)) -> rule2) OR ((((((triple2) -> rule5)) -> rule8) ((((triple8) -> rule1)) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule8) ((triple2) -> rule5)) -> rule2) OR ((((((((triple8) -> rule1)) -> rule5)) -> rule8) ((((triple8) -> rule1)) -> rule5)) -> rule2))] @4: The bald eagle needs the mouse.[(((((((((triple2) -> rule5)) -> rule8) ((triple2) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule5)) -> rule8) ((((triple8) -> rule1)) -> rule5)) -> rule2)) -> rule7) OR ((((((((((triple8) -> rule1)) -> rule5)) -> rule8) ((triple2) -> rule5)) -> rule2)) -> rule7) OR ((((((((((triple8) -> rule1)) -> rule5)) -> rule8) ((((triple8) -> rule1)) -> rule5)) -> rule2)) -> rule7))]