The bear is red. The lion visits the bear. The tiger is blue. If someone is red then they like the lion.
The bear is red.
("bear" "is" "red" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
If someone is red then they like the lion.
((("someone" "is" "red" "+")) -> ("someone" "likes" "lion" "+"))
The tiger is blue.
True
1
proof
[(triple3)]
("tiger" "is" "blue" "+")
triple3
The lion does not visit the bear.
False
1
inv-proof
[(triple2)]
("lion" "visits" "bear" "-")
triple2
The bear likes the lion.
True
2
proof
[(((triple1) -> rule1))]
("bear" "likes" "lion" "+")
((triple1) -> (rule1 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear does not like the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "likes" "lion" "-")
((triple1) -> (rule1 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The tiger does not like the lion.
Unknown
inv-rconc
[@1: The tiger likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "lion" "-")
The lion likes the lion.
Unknown
rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "lion" "+")
The lion does not visit the tiger.
Unknown
inv-random
[@0: The lion visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "tiger" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
@0: The bear is red.[(triple1)] The lion visits the bear.[(triple2)] The tiger is blue.[(triple3)] @1: The bear likes the lion.[(((triple1) -> rule1))]
The bear is red.
("bear" "is" "red" "+")
triple1
The lion visits the bear.
("lion" "visits" "bear" "+")
triple2
The tiger is blue.
("tiger" "is" "blue" "+")
triple3
The bear likes the lion.
("bear" "likes" "lion" "+")
((triple1) -> (rule1 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1