The bald eagle does not eat the rabbit. The bald eagle is not big. The bald eagle is not green. The bald eagle is not red. The bald eagle does not like the mouse. The bald eagle likes the rabbit. The bald eagle sees the rabbit. The mouse eats the rabbit. The mouse is big. The mouse is green. The mouse likes the rabbit. The mouse sees the bald eagle. The mouse sees the rabbit. The rabbit eats the bald eagle. The rabbit is rough. If something sees the mouse and it is rough then it is big. If something eats the bald eagle then it likes the mouse. If something is big then it sees the rabbit. If something is red and it eats the rabbit then it sees the rabbit. If something likes the rabbit and the rabbit likes the mouse then the mouse eats the bald eagle. If something likes the mouse then the mouse eats the bald eagle. If the mouse eats the rabbit and the rabbit likes the bald eagle then the rabbit is not red. If something is big and it eats the bald eagle then the bald eagle is rough.
The mouse eats the mouse.
@0: The bald eagle does not eat the rabbit.[(triple1)] The bald eagle does not like the mouse.[(triple5)] The bald eagle is not big.[(triple2)] The bald eagle is not green.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle likes the rabbit.[(triple6)] The bald eagle sees the rabbit.[(triple7)] The mouse eats the rabbit.[(triple8)] The mouse is big.[(triple9)] The mouse is green.[(triple10)] The mouse likes the rabbit.[(triple11)] The mouse sees the bald eagle.[(triple12)] The mouse sees the rabbit.[(triple13 OR ((triple9) -> rule3))] The rabbit eats the bald eagle.[(triple14)] The rabbit is rough.[(triple15)] @1: The rabbit likes the mouse.[(((triple14) -> rule2))] @2: The mouse eats the bald eagle.[(((((triple14) -> rule2)) -> rule6) OR ((triple11 ((triple14) -> rule2)) -> rule5) OR ((triple6 ((triple14) -> rule2)) -> rule5))] @3: The bald eagle is rough.[(((triple9 ((((triple14) -> rule2)) -> rule6)) -> rule8) OR ((triple9 ((triple11 ((triple14) -> rule2)) -> rule5)) -> rule8) OR ((triple9 ((triple6 ((triple14) -> rule2)) -> rule5)) -> rule8))] The mouse likes the mouse.[(((((((triple14) -> rule2)) -> rule6)) -> rule2) OR ((((triple11 ((triple14) -> rule2)) -> rule5)) -> rule2) OR ((((triple6 ((triple14) -> rule2)) -> rule5)) -> rule2))]