The bear chases the lion. The lion visits the rabbit. The rabbit is cold. If something is cold then it visits the bear.
The bear chases the lion.
("bear" "chases" "lion" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
If something is cold then it visits the bear.
((("something" "is" "cold" "+")) -> ("something" "visits" "bear" "+"))
The lion visits the rabbit.
True
1
proof
[(triple2)]
("lion" "visits" "rabbit" "+")
triple2
The lion does not visit the rabbit.
False
1
inv-proof
[(triple2)]
("lion" "visits" "rabbit" "-")
triple2
The rabbit visits the bear.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "visits" "bear" "+")
((triple3) -> (rule1 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The rabbit does not visit the bear.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "visits" "bear" "-")
((triple3) -> (rule1 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The lion does not visit the bear.
Unknown
inv-rconc
[@1: The lion visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "bear" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "visits" "bear" "+")
The rabbit does not see the bear.
Unknown
inv-random
[@0: The rabbit sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bear" "-")
The bear visits the lion.
Unknown
random
[@0: The bear visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "lion" "+")
@0: The bear chases the lion.[(triple1)] The lion visits the rabbit.[(triple2)] The rabbit is cold.[(triple3)] @1: The rabbit visits the bear.[(((triple3) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
((triple3) -> (rule1 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1