The bear likes the mouse. The mouse eats the rabbit. The rabbit does not chase the bear. If something eats the rabbit then the rabbit eats the mouse. If something is young and it eats the mouse then the mouse is not red.
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The rabbit does not chase the bear.
("rabbit" "chases" "bear" "-")
If something eats the rabbit then the rabbit eats the mouse.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "eats" "mouse" "+"))
If something is young and it eats the mouse then the mouse is not red.
((("something" "is" "young" "+") ("something" "eats" "mouse" "+")) -> ("mouse" "is" "red" "-"))
The mouse eats the rabbit.
True
1
proof
[(triple2)]
("mouse" "eats" "rabbit" "+")
triple2
The rabbit chases the bear.
False
1
inv-proof
[(triple3)]
("rabbit" "chases" "bear" "+")
triple3
The rabbit eats the mouse.
True
2
proof
[(((triple2) -> rule1))]
("rabbit" "eats" "mouse" "+")
((triple2) -> (rule1 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The rabbit does not eat the mouse.
False
2
inv-proof
[(((triple2) -> rule1))]
("rabbit" "eats" "mouse" "-")
((triple2) -> (rule1 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The rabbit does not like the mouse.
Unknown
inv-random
[@0: The rabbit likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "mouse" "-")
The bear eats the mouse.
Unknown
random
[@0: The bear eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "mouse" "+")
@0: The bear likes the mouse.[(triple1)] The mouse eats the rabbit.[(triple2)] The rabbit does not chase the bear.[(triple3)] @1: The rabbit eats the mouse.[(((triple2) -> rule1))]
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple1
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple2
The rabbit does not chase the bear.
("rabbit" "chases" "bear" "-")
triple3
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
((triple2) -> (rule1 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1