The bald eagle sees the squirrel. The dog is rough. The dog likes the squirrel. The dog sees the lion. The lion is not big. The lion is young. The squirrel does not chase the bald eagle. If something chases the dog and it does not see the squirrel then the dog does not like the squirrel. If something sees the lion then it does not chase the bald eagle. If something likes the dog then it is big.
The squirrel chases the squirrel.
@0: The bald eagle sees the squirrel.[(triple1)] The dog is rough.[(triple2)] The dog likes the squirrel.[(triple3)] The dog sees the lion.[(triple4)] The lion is not big.[(triple5)] The lion is young.[(triple6)] The squirrel does not chase the bald eagle.[(triple7)] @1: The dog does not chase the bald eagle.[(((triple4) -> rule2))]