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