The dog is big. The lion is not green. The squirrel eats the dog. If something eats the lion and it likes the lion then the lion likes the squirrel. If something eats the dog then it is green. If the lion does not see the squirrel then the squirrel likes the dog. If the lion is rough and the lion does not see the dog then the lion eats the dog. If something sees the dog then the dog sees the lion. If the lion likes the squirrel and the lion does not eat the dog then the lion likes the dog.
The dog likes the dog.
@0: The dog is big.[(triple1)] The lion is not green.[(triple2)] The squirrel eats the dog.[(triple3)] @1: The squirrel is green.[(((triple3) -> rule2))]