The bear eats the lion. The bear is green. The bear needs the lion. The bear does not visit the lion. The lion does not eat the bear. The lion is cold. The lion is not rough. If the lion needs the bear then the bear is nice. If something is green then it needs the bear. If something is green and it needs the bear then the bear is cold. If something is cold then it is not nice. If the bear needs the lion then the bear does not visit the lion. If something visits the lion and the lion visits the bear then the bear visits the lion. If something visits the bear and the bear is not cold then the bear needs the lion. If something visits the bear and the bear does not visit the lion then the lion is nice.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear does not visit the lion.
("bear" "visits" "lion" "-")
The lion does not eat the bear.
("lion" "eats" "bear" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is not rough.
("lion" "is" "rough" "-")
If the lion needs the bear then the bear is nice.
((("lion" "needs" "bear" "+")) -> ("bear" "is" "nice" "+"))
If something is green then it needs the bear.
((("something" "is" "green" "+")) -> ("something" "needs" "bear" "+"))
If something is green and it needs the bear then the bear is cold.
((("something" "is" "green" "+") ("something" "needs" "bear" "+")) -> ("bear" "is" "cold" "+"))
If something is cold then it is not nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "-"))
If the bear needs the lion then the bear does not visit the lion.
((("bear" "needs" "lion" "+")) -> ("bear" "visits" "lion" "-"))
If something visits the lion and the lion visits the bear then the bear visits the lion.
((("something" "visits" "lion" "+") ("lion" "visits" "bear" "+")) -> ("bear" "visits" "lion" "+"))
If something visits the bear and the bear is not cold then the bear needs the lion.
((("something" "visits" "bear" "+") ("bear" "is" "cold" "~")) -> ("bear" "needs" "lion" "+"))
If something visits the bear and the bear does not visit the lion then the lion is nice.
((("something" "visits" "bear" "+") ("bear" "visits" "lion" "~")) -> ("lion" "is" "nice" "+"))
The lion is not rough.
True
1
proof
[(triple7)]
("lion" "is" "rough" "-")
triple7
The lion eats the bear.
False
1
inv-proof
[(triple5)]
("lion" "eats" "bear" "+")
triple5
The lion is not nice.
True
2
proof
[(((triple6) -> rule4))]
("lion" "is" "nice" "-")
((triple6) -> (rule4 % int1))
The lion is not nice.
("lion" "is" "nice" "-")
int1
The bear does not need the bear.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "needs" "bear" "-")
((triple2) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear is cold.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule3))]
("bear" "is" "cold" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear is not cold.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule3))]
("bear" "is" "cold" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear is not nice.
True
5
proof
[(((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule4))]
("bear" "is" "nice" "-")
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The bear is nice.
False
5
inv-proof
[(((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule4))]
("bear" "is" "nice" "+")
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3
The lion does not need the bear.
Unknown
inv-rconc
[@1: The lion needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "bear" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
The lion is not big.
Unknown
inv-random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "-")
The bear is rough.
Unknown
random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
The lion is not green.
Unknown
inv-random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear does not visit the lion.[(triple4 OR ((triple3) -> rule5))] The bear eats the lion.[(triple1)] The bear is green.[(triple2)] The bear needs the lion.[(triple3)] The lion does not eat the bear.[(triple5)] The lion is cold.[(triple6)] The lion is not rough.[(triple7)] @1: The bear needs the bear.[(((triple2) -> rule2))] The lion is not nice.[(((triple6) -> rule4))] @2: The bear is cold.[(((triple2 ((triple2) -> rule2)) -> rule3))] @3: The bear is not nice.[(((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule4))]
The bear does not visit the lion.
("bear" "visits" "lion" "-")
triple4
((triple3) -> (rule5 % int1))
The bear does not visit the lion.
("bear" "visits" "lion" "-")
int1
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear needs the lion.
("bear" "needs" "lion" "+")
triple3
The lion does not eat the bear.
("lion" "eats" "bear" "-")
triple5
The lion is cold.
("lion" "is" "cold" "+")
triple6
The lion is not rough.
("lion" "is" "rough" "-")
triple7
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple2) -> (rule2 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The lion is not nice.
("lion" "is" "nice" "-")
((triple6) -> (rule4 % int1))
The lion is not nice.
("lion" "is" "nice" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear is not nice.
("bear" "is" "nice" "-")
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
int3