The bear likes the mouse. The cat needs the bear. The mouse needs the bear. The rabbit needs the mouse. If something needs the mouse then it is kind.
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If something needs the mouse then it is kind.
((("something" "needs" "mouse" "+")) -> ("something" "is" "kind" "+"))
The cat needs the bear.
True
1
proof
[(triple2)]
("cat" "needs" "bear" "+")
triple2
The bear does not like the mouse.
False
1
inv-proof
[(triple1)]
("bear" "likes" "mouse" "-")
triple1
The rabbit is kind.
True
2
proof
[(((triple4) -> rule1))]
("rabbit" "is" "kind" "+")
((triple4) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple4) -> rule1))]
("rabbit" "is" "kind" "-")
((triple4) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The mouse is not kind.
Unknown
inv-rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "kind" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "kind" "+")
The mouse does not visit the bear.
Unknown
inv-random
[@0: The mouse visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bear" "-")
The bear needs the rabbit.
Unknown
random
[@0: The bear needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "rabbit" "+")
@0: The bear likes the mouse.[(triple1)] The cat needs the bear.[(triple2)] The mouse needs the bear.[(triple3)] The rabbit needs the mouse.[(triple4)] @1: The rabbit is kind.[(((triple4) -> rule1))]
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple1
The cat needs the bear.
("cat" "needs" "bear" "+")
triple2
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple3
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple4
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple4) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1