The bear eats the mouse. The bear is cold. The bear is green. The bear does not like the mouse. The mouse eats the bear. The mouse is blue. The mouse is kind. The mouse is not rough. The mouse likes the bear. The mouse sees the bear. If something is rough then it sees the mouse. Cold things are rough.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something is rough then it sees the mouse.
((("something" "is" "rough" "+")) -> ("something" "sees" "mouse" "+"))
Cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
The mouse is blue.
True
1
proof
[(triple6)]
("mouse" "is" "blue" "+")
triple6
The bear likes the mouse.
False
1
inv-proof
[(triple4)]
("bear" "likes" "mouse" "+")
triple4
The bear is rough.
True
2
proof
[(((triple2) -> rule2))]
("bear" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "is" "rough" "-")
((triple2) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear sees the mouse.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("bear" "sees" "mouse" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear does not see the mouse.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("bear" "sees" "mouse" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
@0: The bear does not like the mouse.[(triple4)] The bear eats the mouse.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The mouse eats the bear.[(triple5)] The mouse is blue.[(triple6)] The mouse is kind.[(triple7)] The mouse is not rough.[(triple8)] The mouse likes the bear.[(triple9)] The mouse sees the bear.[(triple10)] @1: The bear is rough.[(((triple2) -> rule2))] @2: The bear sees the mouse.[(((((triple2) -> rule2)) -> rule1))]
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
triple4
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple5
The mouse is blue.
("mouse" "is" "blue" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is not rough.
("mouse" "is" "rough" "-")
triple8
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple9
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple10
The bear is rough.
("bear" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2