The dog eats the mouse. The dog eats the squirrel. The dog is young. The dog likes the lion. The dog likes the squirrel. The dog sees the lion. The lion is green. The mouse eats the dog. The mouse is blue. The mouse is green. The mouse is young. The mouse likes the dog. The mouse sees the dog. The mouse sees the squirrel. The squirrel eats the dog. The squirrel eats the lion. If something is rough then it likes the dog. If something is green then it likes the dog.
The squirrel eats the dog.
@0: The dog eats the mouse.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is young.[(triple3)] The dog likes the lion.[(triple4)] The dog likes the squirrel.[(triple5)] The dog sees the lion.[(triple6)] The lion is green.[(triple7)] The mouse eats the dog.[(triple8)] The mouse is blue.[(triple9)] The mouse is green.[(triple10)] The mouse is young.[(triple11)] The mouse likes the dog.[(triple12 OR ((triple10) -> rule2))] The mouse sees the dog.[(triple13)] The mouse sees the squirrel.[(triple14)] The squirrel eats the dog.[(triple15)] The squirrel eats the lion.[(triple16)] @1: The lion likes the dog.[(((triple7) -> rule2))]