The bear is round. The cat does not like the bear. The dog is not green. The mouse chases the dog. If someone is round then they eat the mouse.
The bear is round.
("bear" "is" "round" "+")
The cat does not like the bear.
("cat" "likes" "bear" "-")
The dog is not green.
("dog" "is" "green" "-")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
If someone is round then they eat the mouse.
((("someone" "is" "round" "+")) -> ("someone" "eats" "mouse" "+"))
The mouse chases the dog.
True
1
proof
[(triple4)]
("mouse" "chases" "dog" "+")
triple4
The cat likes the bear.
False
1
inv-proof
[(triple2)]
("cat" "likes" "bear" "+")
triple2
The bear eats the mouse.
True
2
proof
[(((triple1) -> rule1))]
("bear" "eats" "mouse" "+")
((triple1) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The bear does not eat the mouse.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "eats" "mouse" "-")
((triple1) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The cat does not eat the mouse.
Unknown
inv-rconc
[@1: The cat eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "mouse" "-")
The mouse eats the mouse.
Unknown
rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "mouse" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
The mouse likes the dog.
Unknown
random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "+")
@0: The bear is round.[(triple1)] The cat does not like the bear.[(triple2)] The dog is not green.[(triple3)] The mouse chases the dog.[(triple4)] @1: The bear eats the mouse.[(((triple1) -> rule1))]
The bear is round.
("bear" "is" "round" "+")
triple1
The cat does not like the bear.
("cat" "likes" "bear" "-")
triple2
The dog is not green.
("dog" "is" "green" "-")
triple3
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple4
The bear eats the mouse.
("bear" "eats" "mouse" "+")
((triple1) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1