The bald eagle eats the squirrel. The bald eagle needs the lion. The lion is round. The lion needs the tiger. The squirrel is big. The squirrel needs the tiger. The squirrel sees the bald eagle. The squirrel sees the tiger. The tiger is round. The tiger sees the bald eagle. If something needs the lion and the lion is big then the lion needs the bald eagle. If the bald eagle eats the squirrel then the bald eagle is blue. If something is blue then it sees the squirrel.
The lion does not need the bald eagle.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle needs the lion.[(triple2)] The lion is round.[(triple3)] The lion needs the tiger.[(triple4)] The squirrel is big.[(triple5)] The squirrel needs the tiger.[(triple6)] The squirrel sees the bald eagle.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger is round.[(triple9)] The tiger sees the bald eagle.[(triple10)] @1: The bald eagle is blue.[(((triple1) -> rule2))] @2: The bald eagle sees the squirrel.[(((((triple1) -> rule2)) -> rule3))]