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