The bald eagle is kind. The bald eagle sees the tiger. The cow is young. The cow likes the tiger. The squirrel needs the cow. The squirrel sees the bald eagle. The tiger likes the bald eagle. Cold things are green. If something is rough and it needs the bald eagle then the bald eagle sees the tiger. If the tiger needs the cow then the cow is cold. If something is green then it needs the tiger. If something needs the cow and it likes the squirrel then it sees the squirrel. If something likes the bald eagle then the bald eagle is cold.
The bald eagle needs the tiger.
@0: The bald eagle is kind.[(triple1)] The bald eagle sees the tiger.[(triple2)] The cow is young.[(triple3)] The cow likes the tiger.[(triple4)] The squirrel needs the cow.[(triple5)] The squirrel sees the bald eagle.[(triple6)] The tiger likes the bald eagle.[(triple7)] @1: The bald eagle is cold.[(((triple7) -> rule6))] @2: The bald eagle is green.[(((((triple7) -> rule6)) -> rule1))] @3: The bald eagle needs the tiger.[(((((((triple7) -> rule6)) -> rule1)) -> rule4))]