The dog eats the lion. The dog is green. The dog is kind. The dog is red. The dog likes the lion. The dog needs the lion. The lion eats the dog. The lion is big. The lion is green. The lion likes the dog. If someone is green and they eat the lion then they are big. All kind people are rough. If someone needs the lion and they need the dog then the lion is green.
The lion does not eat the dog.
@0: The dog eats the lion.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] The dog is red.[(triple4)] The dog likes the lion.[(triple5)] The dog needs the lion.[(triple6)] The lion eats the dog.[(triple7)] The lion is big.[(triple8)] The lion is green.[(triple9)] The lion likes the dog.[(triple10)] @1: The dog is big.[(((triple2 triple1) -> rule1))] The dog is rough.[(((triple3) -> rule2))]