The dog is green. The dog needs the rabbit. The dog sees the lion. The dog sees the mouse. The lion eats the mouse. The lion is not cold. The lion is green. The mouse does not eat the lion. The mouse is not kind. The mouse needs the lion. The rabbit eats the lion. The rabbit is green. If someone sees the lion and the lion eats the dog then they need the lion. If someone needs the rabbit then the rabbit needs the dog. If someone sees the rabbit then they need the dog. If someone is green then they are kind. If someone is cold and they eat the rabbit then the rabbit does not eat the lion. If the mouse is not young then the mouse eats the lion. If someone is cold then they do not eat the mouse. If someone is kind then they eat the dog.
The lion sees the mouse.
@0: The dog is green.[(triple1)] The dog needs the rabbit.[(triple2)] The dog sees the lion.[(triple3)] The dog sees the mouse.[(triple4)] The lion eats the mouse.[(triple5)] The lion is green.[(triple7)] The lion is not cold.[(triple6)] The mouse does not eat the lion.[(triple8)] The mouse is not kind.[(triple9)] The mouse needs the lion.[(triple10)] The rabbit eats the lion.[(triple11)] The rabbit is green.[(triple12)] @1: The dog is kind.[(((triple1) -> rule4))] The lion is kind.[(((triple7) -> rule4))] The rabbit is kind.[(((triple12) -> rule4))] The rabbit needs the dog.[(((triple2) -> rule2))] @2: The dog eats the dog.[(((((triple1) -> rule4)) -> rule8))] The lion eats the dog.[(((((triple7) -> rule4)) -> rule8))] The rabbit eats the dog.[(((((triple12) -> rule4)) -> rule8))] @3: The dog needs the lion.[(((triple3 ((((triple7) -> rule4)) -> rule8)) -> rule1))]