The bear visits the lion. The dog visits the bear. The lion needs the bear. If something is nice and it visits the bear then the bear needs the dog. If something needs the bear then the bear is young.
The bear visits the lion.
("bear" "visits" "lion" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If something is nice and it visits the bear then the bear needs the dog.
((("something" "is" "nice" "+") ("something" "visits" "bear" "+")) -> ("bear" "needs" "dog" "+"))
If something needs the bear then the bear is young.
((("something" "needs" "bear" "+")) -> ("bear" "is" "young" "+"))
The bear visits the lion.
True
1
proof
[(triple1)]
("bear" "visits" "lion" "+")
triple1
The lion does not need the bear.
False
1
inv-proof
[(triple3)]
("lion" "needs" "bear" "-")
triple3
The bear is young.
True
2
proof
[(((triple3) -> rule2))]
("bear" "is" "young" "+")
((triple3) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple3) -> rule2))]
("bear" "is" "young" "-")
((triple3) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear does not need the dog.
Unknown
inv-rconc
[@1: The bear needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "dog" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The lion needs the dog.
Unknown
random
[@0: The lion needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "dog" "+")
@0: The bear visits the lion.[(triple1)] The dog visits the bear.[(triple2)] The lion needs the bear.[(triple3)] @1: The bear is young.[(((triple3) -> rule2))]
The bear visits the lion.
("bear" "visits" "lion" "+")
triple1
The dog visits the bear.
("dog" "visits" "bear" "+")
triple2
The lion needs the bear.
("lion" "needs" "bear" "+")
triple3
The bear is young.
("bear" "is" "young" "+")
((triple3) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1