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