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