The bald eagle is red. The bald eagle sees the rabbit. The rabbit does not chase the squirrel. The rabbit chases the tiger. The rabbit is blue. The squirrel is red. The squirrel is round. The tiger is not big. The tiger likes the bald eagle. The tiger sees the bald eagle. If someone chases the tiger then the tiger does not see the rabbit. If someone chases the tiger then the tiger does not see the rabbit. If someone sees the tiger then the tiger does not like the bald eagle. If the bald eagle is not blue then the bald eagle chases the tiger. If the squirrel likes the tiger then the squirrel is big. If someone is blue then they chase the tiger. If someone sees the rabbit then they chase the rabbit. If someone sees the bald eagle and they do not see the tiger then the bald eagle does not like the squirrel.
The rabbit sees the bald eagle.
@0: The bald eagle is red.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The rabbit chases the tiger.[(triple4 OR ((triple5) -> rule6))] The rabbit does not chase the squirrel.[(triple3)] The rabbit is blue.[(triple5)] The squirrel is red.[(triple6)] The squirrel is round.[(triple7)] The tiger is not big.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger sees the bald eagle.[(triple10)] @1: The bald eagle chases the rabbit.[(((triple2) -> rule7))] The tiger does not see the rabbit.[(((triple4) -> rule1) OR ((triple4) -> rule2) OR ((((triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule6)) -> rule2))]