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