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