The bear does not eat the lion. The bear is not big. The bear is cold. The bear is green. The bear is not red. The bear is not young. The bear needs the lion. The bear does not visit the lion. The lion eats the bear. The lion is not cold. The lion is green. The lion is red. The lion is young. The lion does not need the bear. The lion visits the bear. If someone visits the bear and the bear does not eat the lion then they do not need the lion. If the bear needs the lion and the bear eats the lion then the lion visits the bear.
The bear does not eat the lion.
("bear" "eats" "lion" "-")
The bear is not big.
("bear" "is" "big" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear is not young.
("bear" "is" "young" "-")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear does not visit the lion.
("bear" "visits" "lion" "-")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is green.
("lion" "is" "green" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The lion does not need the bear.
("lion" "needs" "bear" "-")
The lion visits the bear.
("lion" "visits" "bear" "+")
If someone visits the bear and the bear does not eat the lion then they do not need the lion.
((("someone" "visits" "bear" "+") ("bear" "eats" "lion" "~")) -> ("someone" "needs" "lion" "-"))
If the bear needs the lion and the bear eats the lion then the lion visits the bear.
((("bear" "needs" "lion" "+") ("bear" "eats" "lion" "+")) -> ("lion" "visits" "bear" "+"))
The lion eats the bear.
True
1
proof
[(triple9)]
("lion" "eats" "bear" "+")
triple9
The lion does not visit the bear.
False
1
inv-proof
[(triple15)]
("lion" "visits" "bear" "-")
triple15
The lion does not need the lion.
True
3
proof
[(((triple15 triple1) -> rule1))]
("lion" "needs" "lion" "-")
((triple15 triple1) -> (rule1 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
The lion needs the lion.
False
3
inv-proof
[(((triple15 triple1) -> rule1))]
("lion" "needs" "lion" "+")
((triple15 triple1) -> (rule1 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
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 does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
@0: The bear does not eat the lion.[(triple1)] The bear does not visit the lion.[(triple8)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is not big.[(triple2)] The bear is not red.[(triple5)] The bear is not young.[(triple6)] The bear needs the lion.[(triple7)] The lion does not need the bear.[(triple14)] The lion eats the bear.[(triple9)] The lion is green.[(triple11)] The lion is not cold.[(triple10)] The lion is red.[(triple12)] The lion is young.[(triple13)] The lion visits the bear.[(triple15)] @1: The lion does not need the lion.[(((triple15 triple1) -> rule1))]
The bear does not eat the lion.
("bear" "eats" "lion" "-")
triple1
The bear does not visit the lion.
("bear" "visits" "lion" "-")
triple8
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is not big.
("bear" "is" "big" "-")
triple2
The bear is not red.
("bear" "is" "red" "-")
triple5
The bear is not young.
("bear" "is" "young" "-")
triple6
The bear needs the lion.
("bear" "needs" "lion" "+")
triple7
The lion does not need the bear.
("lion" "needs" "bear" "-")
triple14
The lion eats the bear.
("lion" "eats" "bear" "+")
triple9
The lion is green.
("lion" "is" "green" "+")
triple11
The lion is not cold.
("lion" "is" "cold" "-")
triple10
The lion is red.
("lion" "is" "red" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
triple13
The lion visits the bear.
("lion" "visits" "bear" "+")
triple15
The lion does not need the lion.
("lion" "needs" "lion" "-")
((triple15 triple1) -> (rule1 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1