The cat eats the dog. The cat eats the lion. The dog is cold. The dog is green. The dog is red. The dog sees the cat. The dog sees the lion. The lion eats the cat. The lion is red. The lion visits the cat. If something sees the lion then the lion eats the cat. If something sees the lion then it eats the dog.
The lion visits the cat.
@0: The cat eats the dog.[(triple1)] The cat eats the lion.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4)] The dog is red.[(triple5)] The dog sees the cat.[(triple6)] The dog sees the lion.[(triple7)] The lion eats the cat.[(triple8 OR ((triple7) -> rule1))] The lion is red.[(triple9)] The lion visits the cat.[(triple10)] @1: The dog eats the dog.[(((triple7) -> rule2))]