The bald eagle chases the tiger. The bald eagle likes the mouse. The bald eagle likes the tiger. The bald eagle sees the squirrel. The mouse likes the tiger. The squirrel is big. The squirrel sees the mouse. The tiger chases the bald eagle. The tiger chases the mouse. The tiger is rough. The tiger is round. The tiger sees the bald eagle. If someone is round then they are green. If someone chases the tiger then they are round. If someone likes the tiger and the tiger is round then the tiger is green. If someone chases the squirrel then the squirrel sees the tiger. If someone likes the squirrel and the squirrel chases the tiger then the tiger is round. If someone chases the squirrel and they like the squirrel then they see the mouse. If someone is green and they like the mouse then the mouse chases the tiger. If someone chases the tiger and they like the squirrel then the squirrel sees the mouse. If someone is rough then they chase the mouse.
The mouse does not see the mouse.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle likes the tiger.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The mouse likes the tiger.[(triple5)] The squirrel is big.[(triple6)] The squirrel sees the mouse.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the mouse.[(triple9 OR ((triple10) -> rule9))] The tiger is rough.[(triple10)] The tiger is round.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The bald eagle is round.[(((triple1) -> rule2))] The tiger is green.[(((triple11) -> rule1) OR ((triple3 triple11) -> rule3) OR ((triple5 triple11) -> rule3))] @2: The bald eagle is green.[(((((triple1) -> rule2)) -> rule1))] @3: The mouse chases the tiger.[(((((((triple1) -> rule2)) -> rule1) triple2) -> rule7))] @4: The mouse is round.[(((((((((triple1) -> rule2)) -> rule1) triple2) -> rule7)) -> rule2))] @5: The mouse is green.[(((((((((((triple1) -> rule2)) -> rule1) triple2) -> rule7)) -> rule2)) -> rule1))]