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