The dog eats the lion. The dog eats the squirrel. The dog is big. The dog is nice. The dog likes the lion. The dog sees the squirrel. The lion eats the dog. The lion eats the squirrel. The lion is nice. The lion is round. The lion likes the squirrel. The lion sees the dog. The squirrel is big. The squirrel is round. The squirrel sees the dog. If the squirrel is big then the squirrel is green. If something likes the lion then the lion is rough.
The lion does not like the squirrel.
@0: The dog eats the lion.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is big.[(triple3)] The dog is nice.[(triple4)] The dog likes the lion.[(triple5)] The dog sees the squirrel.[(triple6)] The lion eats the dog.[(triple7)] The lion eats the squirrel.[(triple8)] The lion is nice.[(triple9)] The lion is round.[(triple10)] The lion likes the squirrel.[(triple11)] The lion sees the dog.[(triple12)] The squirrel is big.[(triple13)] The squirrel is round.[(triple14)] The squirrel sees the dog.[(triple15)] @1: The lion is rough.[(((triple5) -> rule2))] The squirrel is green.[(((triple13) -> rule1))]