The bear is round. The bear likes the rabbit. The bear does not see the rabbit. The bear visits the rabbit. The rabbit is round. The rabbit likes the bear. The rabbit visits the bear. If something visits the bear then it is big. If the bear is rough and the bear visits the rabbit then the rabbit is round. If something likes the rabbit and it visits the bear then the bear does not visit the rabbit.
The bear is round.
("bear" "is" "round" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something visits the bear then it is big.
((("something" "visits" "bear" "+")) -> ("something" "is" "big" "+"))
If the bear is rough and the bear visits the rabbit then the rabbit is round.
((("bear" "is" "rough" "+") ("bear" "visits" "rabbit" "+")) -> ("rabbit" "is" "round" "+"))
If something likes the rabbit and it visits the bear then the bear does not visit the rabbit.
((("something" "likes" "rabbit" "+") ("something" "visits" "bear" "+")) -> ("bear" "visits" "rabbit" "-"))
The rabbit is round.
True
1
proof
[(triple5)]
("rabbit" "is" "round" "+")
triple5
The bear does not like the rabbit.
False
1
inv-proof
[(triple2)]
("bear" "likes" "rabbit" "-")
triple2
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "big" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear does not see the rabbit.[(triple3)] The bear is round.[(triple1)] The bear likes the rabbit.[(triple2)] The bear visits the rabbit.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit visits the bear.[(triple7)] @1: The rabbit is big.[(((triple7) -> rule1))]
The bear does not see the rabbit.
("bear" "sees" "rabbit" "-")
triple3
The bear is round.
("bear" "is" "round" "+")
triple1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple2
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple6
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
((triple7) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1