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