The cat does not eat the dog. The dog chases the cat. The dog is cold. The dog is green. The dog is rough. The dog is round. The dog sees the cat. The dog sees the lion. The lion does not eat the dog. The lion is green. The lion is rough. The lion is round. If the dog sees the cat then the dog sees the lion. If someone eats the dog and the dog is big then the dog is rough.
The cat does not see the dog.
@0: The cat does not eat the dog.[(triple1)] The dog chases the cat.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is rough.[(triple5)] The dog is round.[(triple6)] The dog sees the cat.[(triple7)] The dog sees the lion.[(triple8 OR ((triple7) -> rule1))] The lion does not eat the dog.[(triple9)] The lion is green.[(triple10)] The lion is rough.[(triple11)] The lion is round.[(triple12)]