The cat does not eat the dog. The cat does not eat the lion. The cat sees the lion. The dog eats the cat. The dog does not need the lion. The lion eats the cat. The lion eats the dog. The lion is kind. The lion sees the cat. The lion sees the dog. If someone is nice then they need the cat. If someone sees the dog and the dog needs the cat then they eat the cat. If someone needs the dog then the dog eats the lion. If someone is cold and they see the cat then the cat is not round. If someone sees the dog then they are nice. If someone needs the cat then the cat is cold. If the dog does not eat the cat then the dog is round. If someone is nice and not cold then they eat the dog.
The dog sees the dog.
@0: The cat does not eat the dog.[(triple1)] The cat does not eat the lion.[(triple2)] The cat sees the lion.[(triple3)] The dog does not need the lion.[(triple5)] The dog eats the cat.[(triple4)] The lion eats the cat.[(triple6)] The lion eats the dog.[(triple7)] The lion is kind.[(triple8)] The lion sees the cat.[(triple9)] The lion sees the dog.[(triple10)] @1: The lion is nice.[(((triple10) -> rule5))] @2: The lion needs the cat.[(((((triple10) -> rule5)) -> rule1))] @3: The cat is cold.[(((((((triple10) -> rule5)) -> rule1)) -> rule6))]