The bald eagle chases the tiger. The bald eagle eats the squirrel. The bald eagle eats the tiger. The bear chases the squirrel. The bear chases the tiger. The bear visits the bald eagle. The bear visits the squirrel. The bear visits the tiger. The squirrel chases the bear. The squirrel chases the tiger. The squirrel eats the bald eagle. The squirrel is red. The tiger chases the bear. The tiger eats the squirrel. The tiger is young. The tiger visits the squirrel. If someone visits the bald eagle then the bald eagle is blue. If someone visits the tiger and they eat the bear then the bear visits the bald eagle. If the bald eagle is young then the bald eagle eats the tiger. If someone is blue then they eat the bear. If someone visits the bear and they chase the tiger then the bear eats the tiger. If someone eats the squirrel then they are red.
The tiger visits the squirrel.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle eats the tiger.[(triple3)] The bear chases the squirrel.[(triple4)] The bear chases the tiger.[(triple5)] The bear visits the bald eagle.[(triple6)] The bear visits the squirrel.[(triple7)] The bear visits the tiger.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel chases the tiger.[(triple10)] The squirrel eats the bald eagle.[(triple11)] The squirrel is red.[(triple12)] The tiger chases the bear.[(triple13)] The tiger eats the squirrel.[(triple14)] The tiger is young.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The bald eagle is blue.[(((triple6) -> rule1))] The bald eagle is red.[(((triple2) -> rule6))] The tiger is red.[(((triple14) -> rule6))] @2: The bald eagle eats the bear.[(((((triple6) -> rule1)) -> rule4))]