The dog does not see the lion. The dog does not see the tiger. The dog visits the squirrel. The lion sees the squirrel. The lion visits the tiger. The squirrel is big. The squirrel is cold. The squirrel likes the tiger. The squirrel visits the dog. The squirrel visits the lion. The tiger is cold. The tiger likes the dog. The tiger sees the dog. The tiger sees the lion. The tiger visits the squirrel. If something is nice then it does not like the dog. If something likes the tiger and it sees the dog then it is nice. If something likes the tiger and the tiger visits the squirrel then it sees the dog.
The lion does not see the lion.
@0: The dog does not see the lion.[(triple1)] The dog does not see the tiger.[(triple2)] The dog visits the squirrel.[(triple3)] The lion sees the squirrel.[(triple4)] The lion visits the tiger.[(triple5)] The squirrel is big.[(triple6)] The squirrel is cold.[(triple7)] The squirrel likes the tiger.[(triple8)] The squirrel visits the dog.[(triple9)] The squirrel visits the lion.[(triple10)] The tiger is cold.[(triple11)] The tiger likes the dog.[(triple12)] The tiger sees the dog.[(triple13)] The tiger sees the lion.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The squirrel sees the dog.[(((triple8 triple15) -> rule3))] @2: The squirrel is nice.[(((triple8 ((triple8 triple15) -> rule3)) -> rule2))] @3: The squirrel does not like the dog.[(((((triple8 ((triple8 triple15) -> rule3)) -> rule2)) -> rule1))]