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