The cow sees the squirrel. The mouse sees the squirrel. The squirrel is kind. If someone sees the squirrel then they like the mouse.
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
If someone sees the squirrel then they like the mouse.
((("someone" "sees" "squirrel" "+")) -> ("someone" "likes" "mouse" "+"))
The squirrel is kind.
True
1
proof
[(triple3)]
("squirrel" "is" "kind" "+")
triple3
The squirrel is not kind.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "kind" "-")
triple3
The mouse likes the mouse.
True
2
proof
[(((triple2) -> rule1))]
("mouse" "likes" "mouse" "+")
((triple2) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
False
2
inv-proof
[(((triple2) -> rule1))]
("mouse" "likes" "mouse" "-")
((triple2) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The squirrel does not like the mouse.
Unknown
inv-rconc
[@1: The squirrel likes the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "mouse" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
The cow does not see the mouse.
Unknown
inv-random
[@0: The cow sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "mouse" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The cow sees the squirrel.[(triple1)] The mouse sees the squirrel.[(triple2)] The squirrel is kind.[(triple3)] @1: The cow likes the mouse.[(((triple1) -> rule1))] The mouse likes the mouse.[(((triple2) -> rule1))]
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple1
The mouse sees the squirrel.
("mouse" "sees" "squirrel" "+")
triple2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The cow likes the mouse.
("cow" "likes" "mouse" "+")
((triple1) -> (rule1 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple2) -> (rule1 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1