The bear is blue. The bear is cold. The bear needs the lion. The bear visits the lion. The dog visits the lion. The lion is big. The lion visits the bear. If something needs the lion then the lion is blue.
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If something needs the lion then the lion is blue.
((("something" "needs" "lion" "+")) -> ("lion" "is" "blue" "+"))
The bear visits the lion.
True
1
proof
[(triple4)]
("bear" "visits" "lion" "+")
triple4
The bear is not cold.
False
1
inv-proof
[(triple2)]
("bear" "is" "cold" "-")
triple2
The lion is blue.
True
2
proof
[(((triple3) -> rule1))]
("lion" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion is not blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("lion" "is" "blue" "-")
((triple3) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The bear does not like the lion.
Unknown
inv-random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "-")
The lion likes the dog.
Unknown
random
[@0: The lion likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "dog" "+")
The dog does not visit the bear.
Unknown
inv-random
[@0: The dog visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bear" "-")
The lion likes the bear.
Unknown
random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "+")
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear needs the lion.[(triple3)] The bear visits the lion.[(triple4)] The dog visits the lion.[(triple5)] The lion is big.[(triple6)] The lion visits the bear.[(triple7)] @1: The lion is blue.[(((triple3) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear needs the lion.
("bear" "needs" "lion" "+")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple4
The dog visits the lion.
("dog" "visits" "lion" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion visits the bear.
("lion" "visits" "bear" "+")
triple7
The lion is blue.
("lion" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1