The bald eagle eats the tiger. The bald eagle likes the bear. The bald eagle likes the cat. The bear eats the cat. The bear is nice. The bear visits the bald eagle. The bear visits the cat. The cat eats the tiger. The cat is blue. The tiger eats the bald eagle. The tiger eats the cat. The tiger is blue. The tiger is green. The tiger is nice. The tiger likes the bald eagle. The tiger visits the bald eagle. If something is rough then it is green. If the cat eats the tiger then the cat eats the bear. If the bear likes the bald eagle then the bald eagle visits the cat. If something is big then it likes the cat. If something eats the bear then the bear is rough. If the cat is blue then the cat is green.
The cat is green.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the cat.[(triple3)] The bear eats the cat.[(triple4)] The bear is nice.[(triple5)] The bear visits the bald eagle.[(triple6)] The bear visits the cat.[(triple7)] The cat eats the tiger.[(triple8)] The cat is blue.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger eats the cat.[(triple11)] The tiger is blue.[(triple12)] The tiger is green.[(triple13)] The tiger is nice.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger visits the bald eagle.[(triple16)] @1: The cat eats the bear.[(((triple8) -> rule2))] The cat is green.[(((triple9) -> rule6))] @2: The bear is rough.[(((((triple8) -> rule2)) -> rule5))] @3: The bear is green.[(((((((triple8) -> rule2)) -> rule5)) -> rule1))]