The bear eats the cat. The bear is cold. The bear is kind. The bear likes the cat. The bear likes the tiger. The bear visits the mouse. The cat eats the tiger. The cat is big. The cat likes the mouse. The cat visits the mouse. The cat visits the tiger. The mouse eats the cat. The mouse is cold. The mouse visits the cat. The tiger likes the cat. If someone is green then they eat the bear. All kind people are rough. If someone visits the mouse and they eat the mouse then the mouse eats the tiger. If someone is green and kind then they eat the mouse. If the cat eats the mouse and the mouse visits the tiger then the tiger eats the bear. If someone eats the tiger then the tiger is green. If someone eats the mouse then the mouse visits the cat. If someone eats the bear then they visit the tiger.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If someone is green then they eat the bear.
((("someone" "is" "green" "+")) -> ("someone" "eats" "bear" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the mouse and they eat the mouse then the mouse eats the tiger.
((("someone" "visits" "mouse" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "eats" "tiger" "+"))
If someone is green and kind then they eat the mouse.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "eats" "mouse" "+"))
If the cat eats the mouse and the mouse visits the tiger then the tiger eats the bear.
((("cat" "eats" "mouse" "+") ("mouse" "visits" "tiger" "+")) -> ("tiger" "eats" "bear" "+"))
If someone eats the tiger then the tiger is green.
((("someone" "eats" "tiger" "+")) -> ("tiger" "is" "green" "+"))
If someone eats the mouse then the mouse visits the cat.
((("someone" "eats" "mouse" "+")) -> ("mouse" "visits" "cat" "+"))
If someone eats the bear then they visit the tiger.
((("someone" "eats" "bear" "+")) -> ("someone" "visits" "tiger" "+"))
The cat is big.
True
1
proof
[(triple8)]
("cat" "is" "big" "+")
triple8
The mouse does not visit the cat.
False
1
inv-proof
[(triple14)]
("mouse" "visits" "cat" "-")
triple14
The bear is rough.
True
2
proof
[(((triple3) -> rule2))]
("bear" "is" "rough" "+")
((triple3) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple3) -> rule2))]
("bear" "is" "rough" "-")
((triple3) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The tiger eats the bear.
True
3
proof
[(((((triple7) -> rule6)) -> rule1))]
("tiger" "eats" "bear" "+")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger does not eat the bear.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule1))]
("tiger" "eats" "bear" "-")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger visits the tiger.
True
4
proof
[(((((((triple7) -> rule6)) -> rule1)) -> rule8))]
("tiger" "visits" "tiger" "+")
((((((triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The tiger does not visit the tiger.
False
4
inv-proof
[(((((((triple7) -> rule6)) -> rule1)) -> rule8))]
("tiger" "visits" "tiger" "-")
((((((triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3
The mouse does not eat the tiger.
Unknown
inv-rconc
[@2: The mouse eats the tiger.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("mouse" "eats" "tiger" "-")
The cat eats the mouse.
Unknown
rconc
[@1: The cat eats the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "eats" "mouse" "+")
The mouse does not eat the bear.
Unknown
inv-rconc
[@1: The mouse eats the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "bear" "-")
The tiger is rough.
Unknown
rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "rough" "+")
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 tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The mouse likes the cat.
Unknown
random
[@0: The mouse likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "cat" "+")
@0: The bear eats the cat.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear likes the cat.[(triple4)] The bear likes the tiger.[(triple5)] The bear visits the mouse.[(triple6)] The cat eats the tiger.[(triple7)] The cat is big.[(triple8)] The cat likes the mouse.[(triple9)] The cat visits the mouse.[(triple10)] The cat visits the tiger.[(triple11)] The mouse eats the cat.[(triple12)] The mouse is cold.[(triple13)] The mouse visits the cat.[(triple14)] The tiger likes the cat.[(triple15)] @1: The bear is rough.[(((triple3) -> rule2))] The tiger is green.[(((triple7) -> rule6))] @2: The tiger eats the bear.[(((((triple7) -> rule6)) -> rule1))] @3: The tiger visits the tiger.[(((((((triple7) -> rule6)) -> rule1)) -> rule8))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear likes the cat.
("bear" "likes" "cat" "+")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple6
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple7
The cat is big.
("cat" "is" "big" "+")
triple8
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple9
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple10
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple11
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple13
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple14
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple15
The bear is rough.
("bear" "is" "rough" "+")
((triple3) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((triple7) -> (rule6 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
((((triple7) -> (rule6 % int2))) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((((((triple7) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int2
The tiger is green.
("tiger" "is" "green" "+")
int3