The bald eagle needs the dog. The dog likes the tiger. The squirrel needs the bald eagle. The tiger is blue. If something needs the dog then the dog needs the bald eagle. If the tiger likes the squirrel and the squirrel is kind then the squirrel needs the tiger. If something sees the tiger and it sees the squirrel then the squirrel needs the tiger. If the squirrel is round and the squirrel needs the tiger then the squirrel does not see the bald eagle. If something is blue then it does not see the squirrel. If something sees the dog and it sees the squirrel then the dog is green.
The dog sees the bald eagle.
@0: The bald eagle needs the dog.[(triple1)] The dog likes the tiger.[(triple2)] The squirrel needs the bald eagle.[(triple3)] The tiger is blue.[(triple4)] @1: The dog needs the bald eagle.[(((triple1) -> rule1))] The tiger does not see the squirrel.[(((triple4) -> rule5))]