The bald eagle likes the dog. The bald eagle likes the squirrel. The bald eagle visits the squirrel. The dog eats the bald eagle. The dog is green. The dog likes the bald eagle. The lion likes the dog. The lion visits the dog. The squirrel is green. The squirrel likes the bald eagle. If something visits the squirrel then the squirrel is cold. If something is green and it visits the dog then the dog eats the squirrel. If something eats the dog then the dog is red. If something eats the bald eagle and the bald eagle eats the squirrel then the bald eagle likes the squirrel. If something likes the lion then it visits the lion. If the squirrel is big and the squirrel eats the lion then the squirrel visits the lion. If something eats the lion then the lion is big. If the squirrel visits the dog and the squirrel likes the bald eagle then the bald eagle visits the squirrel.
The lion is not big.
@0: The bald eagle likes the dog.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The dog eats the bald eagle.[(triple4)] The dog is green.[(triple5)] The dog likes the bald eagle.[(triple6)] The lion likes the dog.[(triple7)] The lion visits the dog.[(triple8)] The squirrel is green.[(triple9)] The squirrel likes the bald eagle.[(triple10)] @1: The squirrel is cold.[(((triple3) -> rule1))]