The bear is nice. The bear likes the lion. The bear likes the mouse. The bear needs the mouse. The bear visits the mouse. The lion is big. The lion likes the bear. The lion needs the bear. The lion needs the mouse. The lion visits the mouse. The mouse is blue. The mouse is young. The mouse likes the bear. The mouse likes the lion. The mouse needs the lion. The mouse visits the lion. If the bear is blue then the bear is young. If someone needs the bear and they visit the lion then they like the bear. If the bear needs the mouse then the bear is blue.
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The lion is big.
("lion" "is" "big" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bear.
("mouse" "likes" "bear" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If the bear is blue then the bear is young.
((("bear" "is" "blue" "+")) -> ("bear" "is" "young" "+"))
If someone needs the bear and they visit the lion then they like the bear.
((("someone" "needs" "bear" "+") ("someone" "visits" "lion" "+")) -> ("someone" "likes" "bear" "+"))
If the bear needs the mouse then the bear is blue.
((("bear" "needs" "mouse" "+")) -> ("bear" "is" "blue" "+"))
The mouse needs the lion.
True
1
proof
[(triple15)]
("mouse" "needs" "lion" "+")
triple15
The mouse is not young.
False
1
inv-proof
[(triple12)]
("mouse" "is" "young" "-")
triple12
The bear is blue.
True
2
proof
[(((triple4) -> rule3))]
("bear" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple4) -> rule3))]
("bear" "is" "blue" "-")
((triple4) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
True
3
proof
[(((((triple4) -> rule3)) -> rule1))]
("bear" "is" "young" "+")
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is not young.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule1))]
("bear" "is" "young" "-")
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "bear" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion is not blue.
Unknown
inv-random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The mouse is not nice.
Unknown
inv-random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "-")
The bear needs the lion.
Unknown
random
[@0: The bear needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "lion" "+")
@0: The bear is nice.[(triple1)] The bear likes the lion.[(triple2)] The bear likes the mouse.[(triple3)] The bear needs the mouse.[(triple4)] The bear visits the mouse.[(triple5)] The lion is big.[(triple6)] The lion likes the bear.[(triple7)] The lion needs the bear.[(triple8)] The lion needs the mouse.[(triple9)] The lion visits the mouse.[(triple10)] The mouse is blue.[(triple11)] The mouse is young.[(triple12)] The mouse likes the bear.[(triple13)] The mouse likes the lion.[(triple14)] The mouse needs the lion.[(triple15)] The mouse visits the lion.[(triple16)] @1: The bear is blue.[(((triple4) -> rule3))] @2: The bear is young.[(((((triple4) -> rule3)) -> rule1))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear likes the lion.
("bear" "likes" "lion" "+")
triple2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple3
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion likes the bear.
("lion" "likes" "bear" "+")
triple7
The lion needs the bear.
("lion" "needs" "bear" "+")
triple8
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple9
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple10
The mouse is blue.
("mouse" "is" "blue" "+")
triple11
The mouse is young.
("mouse" "is" "young" "+")
triple12
The mouse likes the bear.
("mouse" "likes" "bear" "+")
triple13
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple14
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple15
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple16
The bear is blue.
("bear" "is" "blue" "+")
((triple4) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2