The bald eagle chases the rabbit. The bald eagle sees the rabbit. The rabbit is round. The squirrel eats the bald eagle. The squirrel does not eat the tiger. The squirrel is kind. The squirrel is rough. The squirrel sees the bald eagle. The squirrel sees the rabbit. The squirrel sees the tiger. The tiger chases the rabbit. The tiger eats the bald eagle. The tiger eats the rabbit. The tiger is kind. The tiger is round. The tiger sees the squirrel. If something chases the bald eagle and it eats the bald eagle then the bald eagle eats the tiger. If something eats the bald eagle and the bald eagle sees the tiger then the tiger chases the rabbit. If the tiger sees the squirrel then the tiger chases the rabbit. If the bald eagle is not round then the bald eagle does not see the squirrel. If something chases the tiger then the tiger is blue. If something eats the tiger then it chases the squirrel. If something sees the rabbit then it chases the bald eagle. If something is green then it eats the squirrel.
The bald eagle does not eat the tiger.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The rabbit is round.[(triple3)] The squirrel does not eat the tiger.[(triple5)] The squirrel eats the bald eagle.[(triple4)] The squirrel is kind.[(triple6)] The squirrel is rough.[(triple7)] The squirrel sees the bald eagle.[(triple8)] The squirrel sees the rabbit.[(triple9)] The squirrel sees the tiger.[(triple10)] The tiger chases the rabbit.[(triple11 OR ((triple16) -> rule3))] The tiger eats the bald eagle.[(triple12)] The tiger eats the rabbit.[(triple13)] The tiger is kind.[(triple14)] The tiger is round.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple2) -> rule7))] The squirrel chases the bald eagle.[(((triple9) -> rule7))] @2: The bald eagle eats the tiger.[(((((triple9) -> rule7) triple4) -> rule1))] @3: The bald eagle chases the squirrel.[(((((((triple9) -> rule7) triple4) -> rule1)) -> rule6))]