The bear is red. The bear is rough. The bear likes the rabbit. The bear sees the rabbit. The bear visits the rabbit. The rabbit is blue. The rabbit is kind. The rabbit is rough. The rabbit is young. The rabbit likes the bear. The rabbit sees the bear. The rabbit visits the bear. If something is blue and it visits the rabbit then it is red. If something visits the rabbit and it sees the bear then the rabbit is kind.
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If something is blue and it visits the rabbit then it is red.
((("something" "is" "blue" "+") ("something" "visits" "rabbit" "+")) -> ("something" "is" "red" "+"))
If something visits the rabbit and it sees the bear then the rabbit is kind.
((("something" "visits" "rabbit" "+") ("something" "sees" "bear" "+")) -> ("rabbit" "is" "kind" "+"))
The rabbit likes the bear.
True
1
proof
[(triple10)]
("rabbit" "likes" "bear" "+")
triple10
The rabbit does not visit the bear.
False
1
inv-proof
[(triple12)]
("rabbit" "visits" "bear" "-")
triple12
The rabbit is not red.
Unknown
inv-rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "red" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear is red.[(triple1)] The bear is rough.[(triple2)] The bear likes the rabbit.[(triple3)] The bear sees the rabbit.[(triple4)] The bear visits the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is rough.[(triple8)] The rabbit is young.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit visits the bear.[(triple12)]
The bear is red.
("bear" "is" "red" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple4
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple10
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple11
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple12