The dog eats the lion. The dog is cold. The dog does not need the mouse. The dog sees the mouse. The lion eats the dog. The lion is kind. The lion needs the mouse. The lion sees the dog. The mouse does not eat the rabbit. The mouse is kind. The mouse needs the dog. The rabbit eats the mouse. The rabbit is nice. The rabbit needs the lion. The rabbit needs the mouse. If someone eats the lion then they eat the dog. If someone eats the lion and they do not see the mouse then the lion does not need the dog. If the lion sees the rabbit and the rabbit needs the lion then the rabbit eats the lion. If the dog eats the rabbit and the rabbit sees the mouse then the rabbit eats the lion. If someone needs the dog and they are cold then the dog is kind. If someone is cold and they do not eat the rabbit then the rabbit needs the dog. If someone is cold and kind then they see the rabbit. If someone is kind and not cold then they do not need the lion.
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If someone eats the lion then they eat the dog.
((("someone" "eats" "lion" "+")) -> ("someone" "eats" "dog" "+"))
If someone eats the lion and they do not see the mouse then the lion does not need the dog.
((("someone" "eats" "lion" "+") ("someone" "sees" "mouse" "~")) -> ("lion" "needs" "dog" "-"))
If the lion sees the rabbit and the rabbit needs the lion then the rabbit eats the lion.
((("lion" "sees" "rabbit" "+") ("rabbit" "needs" "lion" "+")) -> ("rabbit" "eats" "lion" "+"))
If the dog eats the rabbit and the rabbit sees the mouse then the rabbit eats the lion.
((("dog" "eats" "rabbit" "+") ("rabbit" "sees" "mouse" "+")) -> ("rabbit" "eats" "lion" "+"))
If someone needs the dog and they are cold then the dog is kind.
((("someone" "needs" "dog" "+") ("someone" "is" "cold" "+")) -> ("dog" "is" "kind" "+"))
If someone is cold and they do not eat the rabbit then the rabbit needs the dog.
((("someone" "is" "cold" "+") ("someone" "eats" "rabbit" "~")) -> ("rabbit" "needs" "dog" "+"))
If someone is cold and kind then they see the rabbit.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone is kind and not cold then they do not need the lion.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "~")) -> ("someone" "needs" "lion" "-"))
The rabbit eats the mouse.
True
1
proof
[(triple12)]
("rabbit" "eats" "mouse" "+")
triple12
The rabbit does not need the mouse.
False
1
inv-proof
[(triple15)]
("rabbit" "needs" "mouse" "-")
triple15
The dog eats the dog.
True
2
proof
[(((triple1) -> rule1))]
("dog" "eats" "dog" "+")
((triple1) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog does not eat the dog.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "eats" "dog" "-")
((triple1) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The rabbit does not see the rabbit.
Unknown
inv-rconc
[@1: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "sees" "rabbit" "-")
The mouse eats the dog.
Unknown
rconc
[@1: The mouse eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "dog" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The dog does not need the mouse.[(triple3)] The dog eats the lion.[(triple1)] The dog is cold.[(triple2)] The dog sees the mouse.[(triple4)] The lion eats the dog.[(triple5)] The lion is kind.[(triple6)] The lion needs the mouse.[(triple7)] The lion sees the dog.[(triple8)] The mouse does not eat the rabbit.[(triple9)] The mouse is kind.[(triple10)] The mouse needs the dog.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit is nice.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit needs the mouse.[(triple15)] @1: The dog eats the dog.[(((triple1) -> rule1))]
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
triple3
The dog eats the lion.
("dog" "eats" "lion" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
triple2
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple4
The lion eats the dog.
("lion" "eats" "dog" "+")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple6
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple7
The lion sees the dog.
("lion" "sees" "dog" "+")
triple8
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple13
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple14
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple15
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple1) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1