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