The bald eagle is blue. The bald eagle likes the tiger. The bald eagle needs the tiger. The cow is young. The cow likes the bald eagle. The lion is young. The lion likes the cow. The lion sees the bald eagle. The tiger is kind. The tiger likes the lion. If someone needs the bald eagle and the bald eagle is blue then they like the bald eagle. If someone likes the bald eagle then the bald eagle is rough. If someone is kind and they see the lion then they are blue. Kind, blue people are rough. If someone sees the bald eagle and they need the lion then the lion is kind. If someone needs the bald eagle and they see the cow then the cow likes the bald eagle. If someone is rough and they like the tiger then the tiger is rough. If the cow likes the bald eagle then the cow is green.
The tiger is not rough.
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the tiger.[(triple3)] The cow is young.[(triple4)] The cow likes the bald eagle.[(triple5)] The lion is young.[(triple6)] The lion likes the cow.[(triple7)] The lion sees the bald eagle.[(triple8)] The tiger is kind.[(triple9)] The tiger likes the lion.[(triple10)] @1: The bald eagle is rough.[(((triple5) -> rule2))] The cow is green.[(((triple5) -> rule8))] @2: The tiger is rough.[(((((triple5) -> rule2) triple2) -> rule7))]