The bear eats the mouse. The bear is red. The bear does not like the mouse. The bear needs the mouse. The mouse is not cold. The mouse is kind. The mouse is red. The mouse is rough. The mouse does not like the bear. The mouse does not need the bear. If someone is kind and they like the mouse then the mouse is cold. If someone eats the bear then they do not like the mouse. If the mouse is not kind then the mouse likes the bear. If someone needs the bear and the bear needs the mouse then the bear does not like the mouse. If someone is rough then they do not need the bear. If someone is rough then they are blue. If someone needs the mouse then the mouse eats the bear. If someone is blue then they eat the bear.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear is red.
("bear" "is" "red" "+")
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
If someone is kind and they like the mouse then the mouse is cold.
((("someone" "is" "kind" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
If someone eats the bear then they do not like the mouse.
((("someone" "eats" "bear" "+")) -> ("someone" "likes" "mouse" "-"))
If the mouse is not kind then the mouse likes the bear.
((("mouse" "is" "kind" "~")) -> ("mouse" "likes" "bear" "+"))
If someone needs the bear and the bear needs the mouse then the bear does not like the mouse.
((("someone" "needs" "bear" "+") ("bear" "needs" "mouse" "+")) -> ("bear" "likes" "mouse" "-"))
If someone is rough then they do not need the bear.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "bear" "-"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone needs the mouse then the mouse eats the bear.
((("someone" "needs" "mouse" "+")) -> ("mouse" "eats" "bear" "+"))
If someone is blue then they eat the bear.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "bear" "+"))
The bear is red.
True
1
proof
[(triple2)]
("bear" "is" "red" "+")
triple2
The mouse is not rough.
False
1
inv-proof
[(triple8)]
("mouse" "is" "rough" "-")
triple8
The mouse is blue.
True
2
proof
[(((triple8) -> rule6))]
("mouse" "is" "blue" "+")
((triple8) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is not blue.
False
2
inv-proof
[(((triple8) -> rule6))]
("mouse" "is" "blue" "-")
((triple8) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse does not like the mouse.
True
3
proof
[(((((triple4) -> rule7)) -> rule2) OR ((((((triple8) -> rule6)) -> rule8)) -> rule2))]
("mouse" "likes" "mouse" "-")
((((triple4) -> (rule7 % int2))) -> (rule2 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse likes the mouse.
False
3
inv-proof
[(((((triple4) -> rule7)) -> rule2) OR ((((((triple8) -> rule6)) -> rule8)) -> rule2))]
("mouse" "likes" "mouse" "+")
((((triple4) -> (rule7 % int2))) -> (rule2 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The bear is not blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "blue" "-")
The bear eats the bear.
Unknown
rconc
[@2: The bear eats the bear.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("bear" "eats" "bear" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear does not like the mouse.[(triple3)] The bear eats the mouse.[(triple1)] The bear is red.[(triple2)] The bear needs the mouse.[(triple4)] The mouse does not like the bear.[(triple9)] The mouse does not need the bear.[(triple10 OR ((triple8) -> rule5))] The mouse is kind.[(triple6)] The mouse is not cold.[(triple5)] The mouse is red.[(triple7)] The mouse is rough.[(triple8)] @1: The mouse eats the bear.[(((triple4) -> rule7) OR ((((triple8) -> rule6)) -> rule8))] The mouse is blue.[(((triple8) -> rule6))] @2: The mouse does not like the mouse.[(((((triple4) -> rule7)) -> rule2) OR ((((((triple8) -> rule6)) -> rule8)) -> rule2))]
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
triple3
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
triple9
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
triple10
((triple8) -> (rule5 % int1))
The mouse does not need the bear.
("mouse" "needs" "bear" "-")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse is not cold.
("mouse" "is" "cold" "-")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple7
The mouse is rough.
("mouse" "is" "rough" "+")
triple8
The mouse eats the bear.
("mouse" "eats" "bear" "+")
((triple4) -> (rule7 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule8 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
((triple8) -> (rule6 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
((((triple4) -> (rule7 % int2))) -> (rule2 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int2
((((((triple8) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule2 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3