The bear is young. The mouse is young. The mouse likes the tiger. The tiger eats the bear. The tiger is round. The tiger likes the bear. The tiger likes the mouse. If something is nice then it eats the mouse. If something likes the bear then it eats the mouse. If something needs the bear and the bear is nice then the bear needs the mouse. If something likes the bear and the bear is round then it needs the mouse. If something eats the bear then the bear is blue. If something needs the bear then the bear is rough. If something is blue then it needs the bear. If something eats the mouse and the mouse likes the tiger then it is round.
The bear is young.
("bear" "is" "young" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If something is nice then it eats the mouse.
((("something" "is" "nice" "+")) -> ("something" "eats" "mouse" "+"))
If something likes the bear then it eats the mouse.
((("something" "likes" "bear" "+")) -> ("something" "eats" "mouse" "+"))
If something needs the bear and the bear is nice then the bear needs the mouse.
((("something" "needs" "bear" "+") ("bear" "is" "nice" "+")) -> ("bear" "needs" "mouse" "+"))
If something likes the bear and the bear is round then it needs the mouse.
((("something" "likes" "bear" "+") ("bear" "is" "round" "+")) -> ("something" "needs" "mouse" "+"))
If something eats the bear then the bear is blue.
((("something" "eats" "bear" "+")) -> ("bear" "is" "blue" "+"))
If something needs the bear then the bear is rough.
((("something" "needs" "bear" "+")) -> ("bear" "is" "rough" "+"))
If something is blue then it needs the bear.
((("something" "is" "blue" "+")) -> ("something" "needs" "bear" "+"))
If something eats the mouse and the mouse likes the tiger then it is round.
((("something" "eats" "mouse" "+") ("mouse" "likes" "tiger" "+")) -> ("something" "is" "round" "+"))
The tiger is round.
True
1
proof
[(triple5 OR ((((triple6) -> rule2) triple3) -> rule8))]
("tiger" "is" "round" "+")
triple5
((((triple6) -> (rule2 % int2)) triple3) -> (rule8 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The bear is not young.
False
1
inv-proof
[(triple1)]
("bear" "is" "young" "-")
triple1
The bear is blue.
True
2
proof
[(((triple4) -> rule5))]
("bear" "is" "blue" "+")
((triple4) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple4) -> rule5))]
("bear" "is" "blue" "-")
((triple4) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear needs the bear.
True
3
proof
[(((((triple4) -> rule5)) -> rule7))]
("bear" "needs" "bear" "+")
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear does not need the bear.
False
3
inv-proof
[(((((triple4) -> rule5)) -> rule7))]
("bear" "needs" "bear" "-")
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is rough.
True
4
proof
[(((((((triple4) -> rule5)) -> rule7)) -> rule6))]
("bear" "is" "rough" "+")
((((((triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is not rough.
False
4
inv-proof
[(((((((triple4) -> rule5)) -> rule7)) -> rule6))]
("bear" "is" "rough" "-")
((((((triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is not round.
Unknown
inv-rconc
[@2: The bear is round.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("bear" "is" "round" "-")
The mouse needs the mouse.
Unknown
rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "needs" "mouse" "+")
The bear does not need the mouse.
Unknown
inv-rconc
[@1: The bear needs the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "needs" "mouse" "-")
The tiger needs the mouse.
Unknown
rconc
[@3: The tiger needs the mouse.[CWA. Example of deepest failure = (rule4 <- rule8 <- rule1 <- FAIL)]]
("tiger" "needs" "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 tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The mouse does not need the tiger.
Unknown
inv-random
[@0: The mouse needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "tiger" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bear is young.[(triple1)] The mouse is young.[(triple2)] The mouse likes the tiger.[(triple3)] The tiger eats the bear.[(triple4)] The tiger is round.[(triple5 OR ((((triple6) -> rule2) triple3) -> rule8))] The tiger likes the bear.[(triple6)] The tiger likes the mouse.[(triple7)] @1: The bear is blue.[(((triple4) -> rule5))] The tiger eats the mouse.[(((triple6) -> rule2))] @2: The bear needs the bear.[(((((triple4) -> rule5)) -> rule7))] @3: The bear is rough.[(((((((triple4) -> rule5)) -> rule7)) -> rule6))]
The bear is young.
("bear" "is" "young" "+")
triple1
The mouse is young.
("mouse" "is" "young" "+")
triple2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple3
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple4
The tiger is round.
("tiger" "is" "round" "+")
triple5
((((triple6) -> (rule2 % int2)) triple3) -> (rule8 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int2
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple6
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple7
The bear is blue.
("bear" "is" "blue" "+")
((triple4) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
((triple6) -> (rule2 % int1))
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
((((((triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3