The bald eagle is big. The bald eagle is round. The bald eagle sees the tiger. The mouse is round. The rabbit eats the bald eagle. The rabbit eats the mouse. The rabbit eats the tiger. The rabbit sees the bald eagle. The rabbit does not see the tiger. The tiger does not eat the bald eagle. The tiger does not like the bald eagle. The tiger likes the mouse. If something likes the bald eagle then the bald eagle sees the mouse. Green things are blue. If something eats the tiger then it does not see the rabbit. If the bald eagle does not see the tiger then the bald eagle eats the tiger. If something sees the tiger then the tiger does not see the mouse. If something is green and it does not eat the tiger then the tiger does not see the mouse.
The mouse is not blue.
@0: The bald eagle is big.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the tiger.[(triple3)] The mouse is round.[(triple4)] The rabbit does not see the tiger.[(triple9)] The rabbit eats the bald eagle.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit eats the tiger.[(triple7)] The rabbit sees the bald eagle.[(triple8)] The tiger does not eat the bald eagle.[(triple10)] The tiger does not like the bald eagle.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The rabbit does not see the rabbit.[(((triple7) -> rule3))] The tiger does not see the mouse.[(((triple3) -> rule5))]