The bald eagle visits the squirrel. The cow eats the squirrel. The cow is red. The cow sees the squirrel. The cow visits the tiger. The squirrel eats the tiger. The tiger eats the bald eagle. The tiger eats the cow. The tiger is blue. The tiger is round. If someone is red and kind then they eat the bald eagle. If someone eats the squirrel then they are green. If someone is round and red then they eat the bald eagle.
The tiger eats the cow.
@0: The bald eagle visits the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is red.[(triple3)] The cow sees the squirrel.[(triple4)] The cow visits the tiger.[(triple5)] The squirrel eats the tiger.[(triple6)] The tiger eats the bald eagle.[(triple7)] The tiger eats the cow.[(triple8)] The tiger is blue.[(triple9)] The tiger is round.[(triple10)] @1: The cow is green.[(((triple2) -> rule2))]