The dog chases the lion. The dog chases the squirrel. The dog is big. The dog is green. The dog is nice. The dog likes the lion. The dog needs the squirrel. The lion chases the dog. The lion is nice. The lion is red. The lion likes the dog. The lion likes the squirrel. The lion needs the dog. The squirrel is big. The squirrel likes the lion. The squirrel needs the dog. If something is cold then it chases the squirrel. If something is nice then it needs the lion. If something likes the squirrel then it is big.
The lion is not red.
@0: The dog chases the lion.[(triple1)] The dog chases the squirrel.[(triple2)] The dog is big.[(triple3)] The dog is green.[(triple4)] The dog is nice.[(triple5)] The dog likes the lion.[(triple6)] The dog needs the squirrel.[(triple7)] The lion chases the dog.[(triple8)] The lion is nice.[(triple9)] The lion is red.[(triple10)] The lion likes the dog.[(triple11)] The lion likes the squirrel.[(triple12)] The lion needs the dog.[(triple13)] The squirrel is big.[(triple14)] The squirrel likes the lion.[(triple15)] The squirrel needs the dog.[(triple16)] @1: The dog needs the lion.[(((triple5) -> rule2))] The lion is big.[(((triple12) -> rule3))] The lion needs the lion.[(((triple9) -> rule2))]