The bald eagle chases the rabbit. The bald eagle likes the rabbit. The bald eagle likes the tiger. The bald eagle sees the rabbit. The mouse chases the bald eagle. The mouse chases the tiger. The mouse likes the rabbit. The mouse sees the bald eagle. The rabbit chases the tiger. The rabbit is big. The rabbit is red. The rabbit likes the mouse. The rabbit likes the tiger. The tiger likes the bald eagle. If something likes the tiger then it sees the tiger. If something likes the rabbit and the rabbit is rough then the rabbit chases the bald eagle. If the tiger is rough and the tiger likes the mouse then the mouse likes the bald eagle. If something likes the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. If the mouse sees the bald eagle then the mouse likes the rabbit. If something is kind and it likes the bald eagle then the bald eagle likes the tiger. If something likes the bald eagle then it is kind. If something sees the tiger then it is rough. If something is rough then it likes the bald eagle.
The bald eagle does not chase the rabbit.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The bald eagle likes the tiger.[(triple3 OR ((((triple14) -> rule7) triple14) -> rule6) OR ((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6))] The bald eagle sees the rabbit.[(triple4)] The mouse chases the bald eagle.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse likes the rabbit.[(triple7 OR ((triple8) -> rule5))] The mouse sees the bald eagle.[(triple8)] The rabbit chases the tiger.[(triple9)] The rabbit is big.[(triple10)] The rabbit is red.[(triple11)] The rabbit likes the mouse.[(triple12)] The rabbit likes the tiger.[(triple13)] The tiger likes the bald eagle.[(triple14)] @1: The bald eagle sees the tiger.[(((triple3) -> rule1) OR ((((((triple14) -> rule7) triple14) -> rule6)) -> rule1) OR ((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1))] The rabbit sees the tiger.[(((triple13) -> rule1))] The tiger is kind.[(((triple14) -> rule7))] @2: The bald eagle is rough.[(((((triple3) -> rule1)) -> rule8) OR ((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8) OR ((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8))] The rabbit is rough.[(((((triple13) -> rule1)) -> rule8))] @3: The bald eagle likes the bald eagle.[(((((((triple3) -> rule1)) -> rule8)) -> rule9) OR ((((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8)) -> rule9) OR ((((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9))] The rabbit chases the bald eagle.[(((triple2 ((((triple13) -> rule1)) -> rule8)) -> rule2) OR ((triple7 ((((triple13) -> rule1)) -> rule8)) -> rule2) OR ((((triple8) -> rule5) ((((triple13) -> rule1)) -> rule8)) -> rule2))] The rabbit likes the bald eagle.[(((((((triple13) -> rule1)) -> rule8)) -> rule9))] @4: The bald eagle is kind.[(((((((((triple3) -> rule1)) -> rule8)) -> rule9)) -> rule7) OR ((((((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7) OR ((((((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7))] The rabbit is kind.[(((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7))] @5: The bald eagle sees the mouse.[(((triple14 ((((((((triple3) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((triple13) -> rule1)) -> rule8)) -> rule9) ((((((((triple3) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule9) ((((((((triple3) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8)) -> rule9) ((((((((triple3) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((triple14 ((((((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((triple13) -> rule1)) -> rule8)) -> rule9) ((((((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule9) ((((((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8)) -> rule9) ((((((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9) ((((((((triple3) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9) ((((((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((triple14 ((((((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((triple13) -> rule1)) -> rule8)) -> rule9) ((((((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule1)) -> rule8)) -> rule9) ((((((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((((((triple14) -> rule7) triple14) -> rule6)) -> rule1)) -> rule8)) -> rule9) ((((((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4) OR ((((((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9) ((((((((((((((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule7) ((((((triple13) -> rule1)) -> rule8)) -> rule9)) -> rule6)) -> rule1)) -> rule8)) -> rule9)) -> rule7)) -> rule4))]