The dog eats the squirrel. The dog is green. The dog is young. The dog does not see the lion. The lion eats the dog. The lion is not rough. The lion is round. The lion likes the dog. The lion likes the squirrel. The lion does not see the dog. The lion sees the squirrel. The squirrel is green. The squirrel is rough. The squirrel sees the dog. The squirrel sees the lion. If something is round then it likes the squirrel. If the dog eats the squirrel then the dog eats the lion. If something eats the lion and the lion is not rough then the lion sees the squirrel. Young things are round. If the lion is green then the lion does not eat the squirrel. If something eats the dog and the dog is rough then the dog is round. If the dog is round and the dog likes the squirrel then the dog does not see the squirrel. If something sees the dog then it is young.
The lion does not like the dog.
@0: The dog does not see the lion.[(triple4)] The dog eats the squirrel.[(triple1)] The dog is green.[(triple2)] The dog is young.[(triple3)] The lion does not see the dog.[(triple10)] The lion eats the dog.[(triple5)] The lion is not rough.[(triple6)] The lion is round.[(triple7)] The lion likes the dog.[(triple8)] The lion likes the squirrel.[(triple9 OR ((triple7) -> rule1))] The lion sees the squirrel.[(triple11 OR ((((triple1) -> rule2) triple6) -> rule3))] The squirrel is green.[(triple12)] The squirrel is rough.[(triple13)] The squirrel sees the dog.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The dog eats the lion.[(((triple1) -> rule2))] The dog is round.[(((triple3) -> rule4))] The squirrel is young.[(((triple14) -> rule8))] @2: The dog likes the squirrel.[(((((triple3) -> rule4)) -> rule1))] The squirrel is round.[(((((triple14) -> rule8)) -> rule4))] @3: The dog does not see the squirrel.[(((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule1)) -> rule7))] The squirrel likes the squirrel.[(((((((triple14) -> rule8)) -> rule4)) -> rule1))]