The bear eats the mouse. The bear is big. The bear is nice. The bear likes the mouse. The bear does not see the mouse. The mouse does not eat the bear. The mouse is not big. The mouse is not kind. The mouse is nice. The mouse is young. The mouse likes the bear. The mouse does not see the bear. If something sees the bear and it likes the bear then the bear eats the mouse. If something is kind then it eats the bear. If something eats the mouse then it is kind. If something sees the mouse then the mouse does not see the bear. If something sees the bear then it likes the bear. If something eats the bear then the bear is not cold.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear does not see the mouse.
("bear" "sees" "mouse" "-")
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
The mouse is not big.
("mouse" "is" "big" "-")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
If something sees the bear and it likes the bear then the bear eats the mouse.
((("something" "sees" "bear" "+") ("something" "likes" "bear" "+")) -> ("bear" "eats" "mouse" "+"))
If something is kind then it eats the bear.
((("something" "is" "kind" "+")) -> ("something" "eats" "bear" "+"))
If something eats the mouse then it is kind.
((("something" "eats" "mouse" "+")) -> ("something" "is" "kind" "+"))
If something sees the mouse then the mouse does not see the bear.
((("something" "sees" "mouse" "+")) -> ("mouse" "sees" "bear" "-"))
If something sees the bear then it likes the bear.
((("something" "sees" "bear" "+")) -> ("something" "likes" "bear" "+"))
If something eats the bear then the bear is not cold.
((("something" "eats" "bear" "+")) -> ("bear" "is" "cold" "-"))
The bear eats the mouse.
True
1
proof
[(triple1)]
("bear" "eats" "mouse" "+")
triple1
The bear is not nice.
False
1
inv-proof
[(triple3)]
("bear" "is" "nice" "-")
triple3
The bear is kind.
True
2
proof
[(((triple1) -> rule3))]
("bear" "is" "kind" "+")
((triple1) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple1) -> rule3))]
("bear" "is" "kind" "-")
((triple1) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear eats the bear.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("bear" "eats" "bear" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear does not eat the bear.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("bear" "eats" "bear" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is not cold.
True
4
proof
[(((((((triple1) -> rule3)) -> rule2)) -> rule6))]
("bear" "is" "cold" "-")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is cold.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule2)) -> rule6))]
("bear" "is" "cold" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "likes" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The bear does not see the mouse.[(triple5)] The bear eats the mouse.[(triple1)] The bear is big.[(triple2)] The bear is nice.[(triple3)] The bear likes the mouse.[(triple4)] The mouse does not eat the bear.[(triple6)] The mouse does not see the bear.[(triple12)] The mouse is nice.[(triple9)] The mouse is not big.[(triple7)] The mouse is not kind.[(triple8)] The mouse is young.[(triple10)] The mouse likes the bear.[(triple11)] @1: The bear is kind.[(((triple1) -> rule3))] @2: The bear eats the bear.[(((((triple1) -> rule3)) -> rule2))] @3: The bear is not cold.[(((((((triple1) -> rule3)) -> rule2)) -> rule6))]
The bear does not see the mouse.
("bear" "sees" "mouse" "-")
triple5
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple4
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
triple6
The mouse does not see the bear.
("mouse" "sees" "bear" "-")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse is not big.
("mouse" "is" "big" "-")
triple7
The mouse is not kind.
("mouse" "is" "kind" "-")
triple8
The mouse is young.
("mouse" "is" "young" "+")
triple10
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple11
The bear is kind.
("bear" "is" "kind" "+")
((triple1) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is not cold.
("bear" "is" "cold" "-")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3