The bald eagle eats the cat. The bald eagle is green. The bald eagle sees the tiger. The bald eagle visits the tiger. The cat does not eat the bald eagle. The cat eats the tiger. The cat is blue. The cat sees the bald eagle. The tiger eats the bald eagle. The tiger sees the bald eagle. The tiger visits the bald eagle. The tiger visits the cat. If someone eats the tiger then the tiger is green. If someone is young and they do not see the bald eagle then the bald eagle eats the cat.
The bald eagle is blue.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the tiger.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cat does not eat the bald eagle.[(triple5)] The cat eats the tiger.[(triple6)] The cat is blue.[(triple7)] The cat sees the bald eagle.[(triple8)] The tiger eats the bald eagle.[(triple9)] The tiger sees the bald eagle.[(triple10)] The tiger visits the bald eagle.[(triple11)] The tiger visits the cat.[(triple12)] @1: The tiger is green.[(((triple6) -> rule1))]