The bear eats the tiger. The bear does not see the tiger. The bear visits the mouse. The mouse is big. The mouse is not green. The mouse visits the bear. The mouse visits the tiger. The tiger eats the bear. The tiger eats the mouse. The tiger is big. The tiger is not green. The tiger visits the bear. If something eats the tiger and the tiger does not eat the mouse then it sees the bear. If something sees the bear and the bear is blue then the bear is not cold. If something eats the tiger then it sees the mouse. If something sees the mouse then the mouse eats the tiger. If something is green and blue then it visits the tiger. If the mouse visits the tiger and the mouse is big then the mouse sees the tiger.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is not green.
("mouse" "is" "green" "-")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is not green.
("tiger" "is" "green" "-")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something eats the tiger and the tiger does not eat the mouse then it sees the bear.
((("something" "eats" "tiger" "+") ("tiger" "eats" "mouse" "~")) -> ("something" "sees" "bear" "+"))
If something sees the bear and the bear is blue then the bear is not cold.
((("something" "sees" "bear" "+") ("bear" "is" "blue" "+")) -> ("bear" "is" "cold" "-"))
If something eats the tiger then it sees the mouse.
((("something" "eats" "tiger" "+")) -> ("something" "sees" "mouse" "+"))
If something sees the mouse then the mouse eats the tiger.
((("something" "sees" "mouse" "+")) -> ("mouse" "eats" "tiger" "+"))
If something is green and blue then it visits the tiger.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "visits" "tiger" "+"))
If the mouse visits the tiger and the mouse is big then the mouse sees the tiger.
((("mouse" "visits" "tiger" "+") ("mouse" "is" "big" "+")) -> ("mouse" "sees" "tiger" "+"))
The mouse is big.
True
1
proof
[(triple4)]
("mouse" "is" "big" "+")
triple4
The tiger is green.
False
1
inv-proof
[(triple11)]
("tiger" "is" "green" "+")
triple11
The mouse sees the tiger.
True
3
proof
[(((triple7 triple4) -> rule6))]
("mouse" "sees" "tiger" "+")
((triple7 triple4) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse does not see the tiger.
False
3
inv-proof
[(((triple7 triple4) -> rule6))]
("mouse" "sees" "tiger" "-")
((triple7 triple4) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse eats the tiger.
True
3
proof
[(((((triple1) -> rule3)) -> rule4))]
("mouse" "eats" "tiger" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int2
The mouse does not eat the tiger.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule4))]
("mouse" "eats" "tiger" "-")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int2
The mouse sees the mouse.
True
4
proof
[(((((((triple1) -> rule3)) -> rule4)) -> rule3))]
("mouse" "sees" "mouse" "+")
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int3
The mouse does not see the mouse.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule4)) -> rule3))]
("mouse" "sees" "mouse" "-")
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int3
The tiger does not see the mouse.
Unknown
inv-rconc
[@1: The tiger sees the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "sees" "mouse" "-")
The mouse sees the bear.
Unknown
rconc
[@1: The mouse sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "sees" "bear" "+")
The bear does not visit the tiger.
Unknown
inv-rconc
[@1: The bear visits the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "visits" "tiger" "-")
The tiger sees the bear.
Unknown
rconc
[@1: The tiger sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "bear" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The tiger visits the mouse.
Unknown
random
[@0: The tiger visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "mouse" "+")
@0: The bear does not see the tiger.[(triple2)] The bear eats the tiger.[(triple1)] The bear visits the mouse.[(triple3)] The mouse is big.[(triple4)] The mouse is not green.[(triple5)] The mouse visits the bear.[(triple6)] The mouse visits the tiger.[(triple7)] The tiger eats the bear.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is big.[(triple10)] The tiger is not green.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bear sees the mouse.[(((triple1) -> rule3))] The mouse sees the tiger.[(((triple7 triple4) -> rule6))] @2: The mouse eats the tiger.[(((((triple1) -> rule3)) -> rule4))] @3: The mouse sees the mouse.[(((((((triple1) -> rule3)) -> rule4)) -> rule3))]
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
triple2
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is not green.
("mouse" "is" "green" "-")
triple5
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple6
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple7
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple8
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is not green.
("tiger" "is" "green" "-")
triple11
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple12
The bear sees the mouse.
("bear" "sees" "mouse" "+")
((triple1) -> (rule3 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
((triple7 triple4) -> (rule6 % int1))
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int2
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int3