The bald eagle eats the rabbit. The bald eagle is not blue. The bald eagle sees the mouse. The bald eagle sees the tiger. The mouse is not kind. The rabbit is kind. The rabbit is round. The tiger is blue. The tiger is green. The tiger sees the rabbit. If the mouse is young and the mouse eats the bald eagle then the mouse needs the rabbit. If something is blue then it eats the mouse. If something is kind and not young then it eats the mouse. If something sees the tiger then it eats the rabbit. If something sees the rabbit then the rabbit is not blue. If something eats the mouse then the mouse is blue. If something needs the rabbit and the rabbit eats the tiger then the tiger sees the rabbit. If something eats the mouse and the mouse eats the tiger then the mouse does not see the rabbit.
The mouse eats the rabbit.
@0: The bald eagle eats the rabbit.[(triple1 OR ((triple4) -> rule4))] The bald eagle is not blue.[(triple2)] The bald eagle sees the mouse.[(triple3)] The bald eagle sees the tiger.[(triple4)] The mouse is not kind.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is round.[(triple7)] The tiger is blue.[(triple8)] The tiger is green.[(triple9)] The tiger sees the rabbit.[(triple10)] @1: The rabbit is not blue.[(((triple10) -> rule5))] The tiger eats the mouse.[(((triple8) -> rule2))] @2: The mouse is blue.[(((((triple8) -> rule2)) -> rule6))] @3: The mouse eats the mouse.[(((((((triple8) -> rule2)) -> rule6)) -> rule2))]