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