The bear is kind. The bear is red. The bear likes the cow. The bear needs the cow. The bear visits the cow. The cow is green. The lion is kind. The lion is young. The lion likes the bear. The lion visits the cow. If the cow visits the bear and the bear is blue then the cow is green. If someone needs the bear and the bear visits the lion then the lion is kind. If someone visits the bear and the bear is young then the bear visits the lion. If someone likes the cow then they need the lion. If someone needs the cow then they visit the bear. If the bear likes the lion and the bear needs the cow then the bear is young. If someone is blue and red then they are young. If the lion needs the cow then the lion is red.
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow is green.
("cow" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If the cow visits the bear and the bear is blue then the cow is green.
((("cow" "visits" "bear" "+") ("bear" "is" "blue" "+")) -> ("cow" "is" "green" "+"))
If someone needs the bear and the bear visits the lion then the lion is kind.
((("someone" "needs" "bear" "+") ("bear" "visits" "lion" "+")) -> ("lion" "is" "kind" "+"))
If someone visits the bear and the bear is young then the bear visits the lion.
((("someone" "visits" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "visits" "lion" "+"))
If someone likes the cow then they need the lion.
((("someone" "likes" "cow" "+")) -> ("someone" "needs" "lion" "+"))
If someone needs the cow then they visit the bear.
((("someone" "needs" "cow" "+")) -> ("someone" "visits" "bear" "+"))
If the bear likes the lion and the bear needs the cow then the bear is young.
((("bear" "likes" "lion" "+") ("bear" "needs" "cow" "+")) -> ("bear" "is" "young" "+"))
If someone is blue and red then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If the lion needs the cow then the lion is red.
((("lion" "needs" "cow" "+")) -> ("lion" "is" "red" "+"))
The lion visits the cow.
True
1
proof
[(triple10)]
("lion" "visits" "cow" "+")
triple10
The bear does not visit the cow.
False
1
inv-proof
[(triple5)]
("bear" "visits" "cow" "-")
triple5
The bear visits the bear.
True
2
proof
[(((triple4) -> rule5))]
("bear" "visits" "bear" "+")
((triple4) -> (rule5 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
2
inv-proof
[(((triple4) -> rule5))]
("bear" "visits" "bear" "-")
((triple4) -> (rule5 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "is" "young" "-")
The lion is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "red" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The bear is kind.[(triple1)] The bear is red.[(triple2)] The bear likes the cow.[(triple3)] The bear needs the cow.[(triple4)] The bear visits the cow.[(triple5)] The cow is green.[(triple6)] The lion is kind.[(triple7)] The lion is young.[(triple8)] The lion likes the bear.[(triple9)] The lion visits the cow.[(triple10)] @1: The bear needs the lion.[(((triple3) -> rule4))] The bear visits the bear.[(((triple4) -> rule5))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is red.
("bear" "is" "red" "+")
triple2
The bear likes the cow.
("bear" "likes" "cow" "+")
triple3
The bear needs the cow.
("bear" "needs" "cow" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
The lion is young.
("lion" "is" "young" "+")
triple8
The lion likes the bear.
("lion" "likes" "bear" "+")
triple9
The lion visits the cow.
("lion" "visits" "cow" "+")
triple10
The bear needs the lion.
("bear" "needs" "lion" "+")
((triple3) -> (rule4 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple4) -> (rule5 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1