The dog is round. The lion chases the squirrel. The lion eats the tiger. The lion is cold. The lion is not green. The lion is rough. The lion needs the tiger. The squirrel chases the dog. The squirrel does not chase the lion. The squirrel chases the tiger. The squirrel eats the dog. The squirrel eats the lion. The squirrel is green. The tiger eats the dog. The tiger is rough. If something is cold then it needs the squirrel.
The tiger does not need the squirrel.
@0: The dog is round.[(triple1)] The lion chases the squirrel.[(triple2)] The lion eats the tiger.[(triple3)] The lion is cold.[(triple4)] The lion is not green.[(triple5)] The lion is rough.[(triple6)] The lion needs the tiger.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel chases the tiger.[(triple10)] The squirrel does not chase the lion.[(triple9)] The squirrel eats the dog.[(triple11)] The squirrel eats the lion.[(triple12)] The squirrel is green.[(triple13)] The tiger eats the dog.[(triple14)] The tiger is rough.[(triple15)] @1: The lion needs the squirrel.[(((triple4) -> rule1))]