The bear is rough. The lion needs the bear. If someone needs the bear then the bear likes the lion. If someone is cold and kind then they need the bear. All young people are rough.
The bear is rough.
("bear" "is" "rough" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If someone needs the bear then the bear likes the lion.
((("someone" "needs" "bear" "+")) -> ("bear" "likes" "lion" "+"))
If someone is cold and kind then they need the bear.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "needs" "bear" "+"))
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
The bear is rough.
True
1
proof
[(triple1)]
("bear" "is" "rough" "+")
triple1
The lion does not need the bear.
False
1
inv-proof
[(triple2)]
("lion" "needs" "bear" "-")
triple2
The bear likes the lion.
True
2
proof
[(((triple2) -> rule1))]
("bear" "likes" "lion" "+")
((triple2) -> (rule1 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear does not like the lion.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "likes" "lion" "-")
((triple2) -> (rule1 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "needs" "bear" "-")
The lion is rough.
Unknown
rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "rough" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bear is rough.[(triple1)] The lion needs the bear.[(triple2)] @1: The bear likes the lion.[(((triple2) -> rule1))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The lion needs the bear.
("lion" "needs" "bear" "+")
triple2
The bear likes the lion.
("bear" "likes" "lion" "+")
((triple2) -> (rule1 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1