The bear is cold. The bear is not red. The bear is rough. The bear likes the mouse. The bear needs the mouse. The bear visits the mouse. The mouse is not nice. The mouse is red. The mouse does not like the bear. The mouse needs the bear. If someone is green then they visit the bear. If someone is green and they do not like the mouse then they are not cold. If the bear is cold then the bear is green.
The bear is cold.
("bear" "is" "cold" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse is not nice.
("mouse" "is" "nice" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If someone is green then they visit the bear.
((("someone" "is" "green" "+")) -> ("someone" "visits" "bear" "+"))
If someone is green and they do not like the mouse then they are not cold.
((("someone" "is" "green" "+") ("someone" "likes" "mouse" "~")) -> ("someone" "is" "cold" "-"))
If the bear is cold then the bear is green.
((("bear" "is" "cold" "+")) -> ("bear" "is" "green" "+"))
The bear needs the mouse.
True
1
proof
[(triple5)]
("bear" "needs" "mouse" "+")
triple5
The mouse does not need the bear.
False
1
inv-proof
[(triple10)]
("mouse" "needs" "bear" "-")
triple10
The bear is green.
True
2
proof
[(((triple1) -> rule3))]
("bear" "is" "green" "+")
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("bear" "is" "green" "-")
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear visits the bear.
True
3
proof
[(((((triple1) -> rule3)) -> rule1))]
("bear" "visits" "bear" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear does not visit the bear.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("bear" "visits" "bear" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The mouse does not visit the bear.
Unknown
inv-rconc
[@1: The mouse visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The bear is cold.[(triple1)] The bear is not red.[(triple2)] The bear is rough.[(triple3)] The bear likes the mouse.[(triple4)] The bear needs the mouse.[(triple5)] The bear visits the mouse.[(triple6)] The mouse does not like the bear.[(triple9)] The mouse is not nice.[(triple7)] The mouse is red.[(triple8)] The mouse needs the bear.[(triple10)] @1: The bear is green.[(((triple1) -> rule3))] @2: The bear visits the bear.[(((((triple1) -> rule3)) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is not red.
("bear" "is" "red" "-")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple4
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple5
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple6
The mouse does not like the bear.
("mouse" "likes" "bear" "-")
triple9
The mouse is not nice.
("mouse" "is" "nice" "-")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple10
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2