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