The bald eagle chases the bear. The bald eagle chases the mouse. The bald eagle is big. The bald eagle is green. The bald eagle sees the mouse. The bear eats the dog. The bear eats the mouse. The bear is blue. The bear sees the dog. The dog is blue. The mouse eats the dog. If someone eats the dog then the dog chases the bear. If someone is blue and they chase the bear then the bear is big. If someone eats the bear then they see the bear. If the mouse is big then the mouse chases the bald eagle. If someone chases the dog then they are rough. If someone is big then they chase the dog. Rough people are kind. If someone chases the dog then the dog is green.
The bald eagle does not chase the dog.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle sees the mouse.[(triple5)] The bear eats the dog.[(triple6)] The bear eats the mouse.[(triple7)] The bear is blue.[(triple8)] The bear sees the dog.[(triple9)] The dog is blue.[(triple10)] The mouse eats the dog.[(triple11)] @1: The bald eagle chases the dog.[(((triple3) -> rule6))] The dog chases the bear.[(((triple11) -> rule1) OR ((triple6) -> rule1))] @2: The bald eagle is rough.[(((((triple3) -> rule6)) -> rule5))] The bear is big.[(((triple10 ((triple11) -> rule1)) -> rule2) OR ((triple10 ((triple6) -> rule1)) -> rule2))] The dog is green.[(((((triple3) -> rule6)) -> rule8) OR ((((((triple10 ((triple11) -> rule1)) -> rule2)) -> rule6)) -> rule8) OR ((((((triple10 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule8))] @3: The bald eagle is kind.[(((((((triple3) -> rule6)) -> rule5)) -> rule7))] The bear chases the dog.[(((((triple10 ((triple11) -> rule1)) -> rule2)) -> rule6) OR ((((triple10 ((triple6) -> rule1)) -> rule2)) -> rule6))] @4: The bear is rough.[(((((((triple10 ((triple11) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple10 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule5))] @5: The bear is kind.[(((((((((triple10 ((triple11) -> rule1)) -> rule2)) -> rule6)) -> rule5)) -> rule7) OR ((((((((triple10 ((triple6) -> rule1)) -> rule2)) -> rule6)) -> rule5)) -> rule7))]