The dog does not need the mouse. The lion is round. The mouse chases the dog. The rabbit is rough. If something is round then it eats the rabbit.
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
The lion is round.
("lion" "is" "round" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If something is round then it eats the rabbit.
((("something" "is" "round" "+")) -> ("something" "eats" "rabbit" "+"))
The dog does not need the mouse.
True
1
proof
[(triple1)]
("dog" "needs" "mouse" "-")
triple1
The rabbit is not rough.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "rough" "-")
triple4
The lion eats the rabbit.
True
2
proof
[(((triple2) -> rule1))]
("lion" "eats" "rabbit" "+")
((triple2) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The lion does not eat the rabbit.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "eats" "rabbit" "-")
((triple2) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1
The mouse does not eat the rabbit.
Unknown
inv-rconc
[@1: The mouse eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
The lion does not need the rabbit.
Unknown
inv-random
[@0: The lion needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "rabbit" "-")
The mouse needs the lion.
Unknown
random
[@0: The mouse needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "lion" "+")
@0: The dog does not need the mouse.[(triple1)] The lion is round.[(triple2)] The mouse chases the dog.[(triple3)] The rabbit is rough.[(triple4)] @1: The lion eats the rabbit.[(((triple2) -> rule1))]
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
triple1
The lion is round.
("lion" "is" "round" "+")
triple2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
((triple2) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1