The mouse is blue. The mouse is red. The mouse is young. The mouse likes the squirrel. The rabbit is kind. The rabbit is nice. The rabbit sees the mouse. The rabbit visits the mouse. The rabbit visits the squirrel. The squirrel visits the mouse. If someone visits the squirrel and the squirrel sees the mouse then the mouse likes the squirrel. If someone sees the squirrel and they visit the squirrel then they are nice.
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone visits the squirrel and the squirrel sees the mouse then the mouse likes the squirrel.
((("someone" "visits" "squirrel" "+") ("squirrel" "sees" "mouse" "+")) -> ("mouse" "likes" "squirrel" "+"))
If someone sees the squirrel and they visit the squirrel then they are nice.
((("someone" "sees" "squirrel" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
The mouse is blue.
True
1
proof
[(triple1)]
("mouse" "is" "blue" "+")
triple1
The rabbit is not nice.
False
1
inv-proof
[(triple6)]
("rabbit" "is" "nice" "-")
triple6
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "nice" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
@0: The mouse is blue.[(triple1)] The mouse is red.[(triple2)] The mouse is young.[(triple3)] The mouse likes the squirrel.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is nice.[(triple6)] The rabbit sees the mouse.[(triple7)] The rabbit visits the mouse.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel visits the mouse.[(triple10)]
The mouse is blue.
("mouse" "is" "blue" "+")
triple1
The mouse is red.
("mouse" "is" "red" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The mouse likes the squirrel.
("mouse" "likes" "squirrel" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple5
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple6
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple7
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple8
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple9
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple10