The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bear needs the bald eagle. The cow needs the bear. The tiger is nice. The tiger needs the bear. If someone likes the tiger then they visit the bald eagle. If someone is rough and they need the bald eagle then the bald eagle visits the tiger. If someone needs the bear then they are rough. If the bald eagle needs the cow and the cow likes the tiger then the tiger is kind. If someone visits the tiger then they like the tiger. If someone is nice and blue then they like the bald eagle. If the bald eagle is rough then the bald eagle likes the bear. If someone needs the bald eagle then they need the bear. If the bald eagle is rough then the bald eagle likes the tiger.
The tiger is nice.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bear needs the bald eagle.[(triple4)] The cow needs the bear.[(triple5)] The tiger is nice.[(triple6)] The tiger needs the bear.[(triple7)] @1: The bear needs the bear.[(((triple4) -> rule8))] The cow is rough.[(((triple5) -> rule3))] The tiger is rough.[(((triple7) -> rule3))] @2: The bear is rough.[(((((triple4) -> rule8)) -> rule3))] @3: The bald eagle visits the tiger.[(((((((triple4) -> rule8)) -> rule3) triple4) -> rule2))] @4: The bald eagle likes the tiger.[(((((((((triple4) -> rule8)) -> rule3) triple4) -> rule2)) -> rule5))] @5: The bald eagle visits the bald eagle.[(((((((((((triple4) -> rule8)) -> rule3) triple4) -> rule2)) -> rule5)) -> rule1))]