The dog chases the lion. The dog eats the lion. The dog is blue. The dog is green. The dog is kind. The dog is red. The dog is young. The dog sees the lion. The lion chases the dog. The lion eats the dog. The lion is blue. The lion sees the dog. If the lion chases the dog then the lion is not red. If someone is kind then they see the dog. If someone chases the dog and they are not red then they do not eat the lion.
The lion is not red.
@0: The dog chases the lion.[(triple1)] The dog eats the lion.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is red.[(triple6)] The dog is young.[(triple7)] The dog sees the lion.[(triple8)] The lion chases the dog.[(triple9)] The lion eats the dog.[(triple10)] The lion is blue.[(triple11)] The lion sees the dog.[(triple12)] @1: The dog sees the dog.[(((triple5) -> rule2))] The lion is not red.[(((triple9) -> rule1))] @2: The lion does not eat the lion.[(((triple9 ((triple9) -> rule1)) -> rule3))]