The bear is kind. The bear is nice. The bear likes the mouse. The bear sees the mouse. The mouse is blue. The mouse is kind. The mouse is nice. The mouse does not like the bear. The mouse needs the bear. The mouse sees the bear. If something needs the mouse and the mouse is kind then it sees the bear. If something likes the mouse and it does not need the bear then the mouse likes the bear. If something is nice and it sees the bear then the bear needs the mouse. If the bear needs the mouse and the mouse is blue then the bear is not blue. If something needs the bear then the bear is not blue. If the mouse does not see the bear and the mouse does not like the bear then the mouse is young.
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something needs the mouse and the mouse is kind then it sees the bear.
((("something" "needs" "mouse" "+") ("mouse" "is" "kind" "+")) -> ("something" "sees" "bear" "+"))
If something likes the mouse and it does not need the bear then the mouse likes the bear.
((("something" "likes" "mouse" "+") ("something" "needs" "bear" "~")) -> ("mouse" "likes" "bear" "+"))
If something is nice and it sees the bear then the bear needs the mouse.
((("something" "is" "nice" "+") ("something" "sees" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
If the bear needs the mouse and the mouse is blue then the bear is not blue.
((("bear" "needs" "mouse" "+") ("mouse" "is" "blue" "+")) -> ("bear" "is" "blue" "-"))
If something needs the bear then the bear is not blue.
((("something" "needs" "bear" "+")) -> ("bear" "is" "blue" "-"))
If the mouse does not see the bear and the mouse does not like the bear then the mouse is young.
((("mouse" "sees" "bear" "~") ("mouse" "likes" "bear" "~")) -> ("mouse" "is" "young" "+"))
The bear likes the mouse.
True
1
proof
[(triple3)]
("bear" "likes" "mouse" "+")
triple3
The bear is not nice.
False
1
inv-proof
[(triple2)]
("bear" "is" "nice" "-")
triple2
The bear needs the mouse.
True
3
proof
[(((triple7 triple10) -> rule3))]
("bear" "needs" "mouse" "+")
((triple7 triple10) -> (rule3 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear does not need the mouse.
False
3
inv-proof
[(((triple7 triple10) -> rule3))]
("bear" "needs" "mouse" "-")
((triple7 triple10) -> (rule3 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear sees the bear.
True
5
proof
[(((((triple7 triple10) -> rule3) triple6) -> rule1))]
("bear" "sees" "bear" "+")
((((triple7 triple10) -> (rule3 % int2)) triple6) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear does not see the bear.
False
5
inv-proof
[(((((triple7 triple10) -> rule3) triple6) -> rule1))]
("bear" "sees" "bear" "-")
((((triple7 triple10) -> (rule3 % int2)) triple6) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The mouse is not young.
Unknown
inv-rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "young" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
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 mouse needs the mouse.
Unknown
random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "+")
@0: The bear is kind.[(triple1)] The bear is nice.[(triple2)] The bear likes the mouse.[(triple3)] The bear sees the mouse.[(triple4)] The mouse does not like the bear.[(triple8)] The mouse is blue.[(triple5)] The mouse is kind.[(triple6)] The mouse is nice.[(triple7)] The mouse needs the bear.[(triple9)] The mouse sees the bear.[(triple10)] @1: The bear is not blue.[(((triple9) -> rule5) OR ((((triple7 triple10) -> rule3) triple5) -> rule4))] The bear needs the mouse.[(((triple7 triple10) -> rule3))] @2: The bear sees the bear.[(((((triple7 triple10) -> rule3) triple6) -> rule1))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple3
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple4
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
triple8
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple9
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple10
The bear is not blue.
("bear" "is" "blue" "-")
((triple9) -> (rule5 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
((((triple7 triple10) -> (rule3 % int2)) triple5) -> (rule4 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2
The bear needs the mouse.
("bear" "needs" "mouse" "+")
((triple7 triple10) -> (rule3 % int1))
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int1
The bear sees the bear.
("bear" "sees" "bear" "+")
((((triple7 triple10) -> (rule3 % int2)) triple6) -> (rule1 % int1))
The bear sees the bear.
("bear" "sees" "bear" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
int2