The dog is big. The dog is rough. The dog sees the lion. The dog visits the squirrel. The lion is big. The lion likes the dog. The lion sees the dog. The lion sees the squirrel. The lion visits the squirrel. The squirrel is big. The squirrel is young. The squirrel sees the dog. If someone is young then they see the lion. If someone visits the dog and the dog likes the squirrel then they like the squirrel. If the lion is cold and the lion visits the dog then the lion is young.
The dog does not visit the squirrel.
@0: The dog is big.[(triple1)] The dog is rough.[(triple2)] The dog sees the lion.[(triple3)] The dog visits the squirrel.[(triple4)] The lion is big.[(triple5)] The lion likes the dog.[(triple6)] The lion sees the dog.[(triple7)] The lion sees the squirrel.[(triple8)] The lion visits the squirrel.[(triple9)] The squirrel is big.[(triple10)] The squirrel is young.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The squirrel sees the lion.[(((triple11) -> rule1))]