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