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