The bald eagle is big. The cow is green. The lion is rough. The mouse likes the lion. If someone visits the cow and the cow is green then they are nice. If someone visits the mouse and the mouse needs the bald eagle then the bald eagle likes the cow. If someone is rough then they visit the cow. If someone needs the cow and they are nice then they need the mouse. If someone is rough and kind then they need the mouse. If someone visits the lion then they are green. If someone likes the cow and the cow likes the lion then they like the bald eagle. Rough people are green.
The lion is nice.
@0: The bald eagle is big.[(triple1)] The cow is green.[(triple2)] The lion is rough.[(triple3)] The mouse likes the lion.[(triple4)] @1: The lion is green.[(((triple3) -> rule8))] The lion visits the cow.[(((triple3) -> rule3))] @2: The lion is nice.[(((((triple3) -> rule3) triple2) -> rule1))]