The dog is big. The lion sees the dog. The rabbit eats the dog. If someone sees the rabbit then they are rough. If someone is rough and they eat the dog then the dog chases the lion. If someone eats the rabbit then they are not young. If the rabbit is kind then the rabbit sees the lion. If the lion is blue and the lion eats the rabbit then the rabbit chases the dog. If someone chases the dog and the dog chases the rabbit then they do not eat the lion.
The dog is big.
("dog" "is" "big" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
If someone sees the rabbit then they are rough.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and they eat the dog then the dog chases the lion.
((("someone" "is" "rough" "+") ("someone" "eats" "dog" "+")) -> ("dog" "chases" "lion" "+"))
If someone eats the rabbit then they are not young.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "young" "-"))
If the rabbit is kind then the rabbit sees the lion.
((("rabbit" "is" "kind" "+")) -> ("rabbit" "sees" "lion" "+"))
If the lion is blue and the lion eats the rabbit then the rabbit chases the dog.
((("lion" "is" "blue" "+") ("lion" "eats" "rabbit" "+")) -> ("rabbit" "chases" "dog" "+"))
If someone chases the dog and the dog chases the rabbit then they do not eat the lion.
((("someone" "chases" "dog" "+") ("dog" "chases" "rabbit" "+")) -> ("someone" "eats" "lion" "-"))
The rabbit eats the dog.
True
1
proof
[(triple3)]
("rabbit" "eats" "dog" "+")
triple3
The lion does not see the dog.
False
1
inv-proof
[(triple2)]
("lion" "sees" "dog" "-")
triple2
The rabbit does not see the lion.
Unknown
inv-rconc
[@1: The rabbit sees the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "sees" "lion" "-")
The rabbit eats the lion.
Unknown
random
[@0: The rabbit eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "lion" "+")
@0: The dog is big.[(triple1)] The lion sees the dog.[(triple2)] The rabbit eats the dog.[(triple3)]
The dog is big.
("dog" "is" "big" "+")
triple1
The lion sees the dog.
("lion" "sees" "dog" "+")
triple2
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple3