The bear eats the lion. The lion is blue. If the bear eats the lion then the bear is rough. If something eats the lion then the lion eats the bear.
The bear eats the lion.
("bear" "eats" "lion" "+")
The lion is blue.
("lion" "is" "blue" "+")
If the bear eats the lion then the bear is rough.
((("bear" "eats" "lion" "+")) -> ("bear" "is" "rough" "+"))
If something eats the lion then the lion eats the bear.
((("something" "eats" "lion" "+")) -> ("lion" "eats" "bear" "+"))
The bear eats the lion.
True
1
proof
[(triple1)]
("bear" "eats" "lion" "+")
triple1
The lion is not blue.
False
1
inv-proof
[(triple2)]
("lion" "is" "blue" "-")
triple2
The bear is rough.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The bear likes the lion.
Unknown
random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "+")
The lion does not need the bear.
Unknown
inv-random
[@0: The lion needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear eats the lion.[(triple1)] The lion is blue.[(triple2)] @1: The bear is rough.[(((triple1) -> rule1))] The lion eats the bear.[(((triple1) -> rule2))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The lion eats the bear.
("lion" "eats" "bear" "+")
((triple1) -> (rule2 % int1))
The lion eats the bear.
("lion" "eats" "bear" "+")
int1