The bear is nice. The bear visits the lion. The lion eats the bear. The lion is green. The lion is young. The lion likes the bear. The lion visits the bear. If the lion is young then the lion likes the bear. If the bear likes the lion then the lion is nice. If something is big then it visits the bear. If something visits the lion and it likes the bear then the bear is nice. If the lion visits the bear then the lion is green. If something visits the lion then it is nice. If something visits the bear and it is green then the bear is nice. If something visits the bear then the bear is young.
The bear is nice.
("bear" "is" "nice" "+")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If the lion is young then the lion likes the bear.
((("lion" "is" "young" "+")) -> ("lion" "likes" "bear" "+"))
If the bear likes the lion then the lion is nice.
((("bear" "likes" "lion" "+")) -> ("lion" "is" "nice" "+"))
If something is big then it visits the bear.
((("something" "is" "big" "+")) -> ("something" "visits" "bear" "+"))
If something visits the lion and it likes the bear then the bear is nice.
((("something" "visits" "lion" "+") ("something" "likes" "bear" "+")) -> ("bear" "is" "nice" "+"))
If the lion visits the bear then the lion is green.
((("lion" "visits" "bear" "+")) -> ("lion" "is" "green" "+"))
If something visits the lion then it is nice.
((("something" "visits" "lion" "+")) -> ("something" "is" "nice" "+"))
If something visits the bear and it is green then the bear is nice.
((("something" "visits" "bear" "+") ("something" "is" "green" "+")) -> ("bear" "is" "nice" "+"))
If something visits the bear then the bear is young.
((("something" "visits" "bear" "+")) -> ("bear" "is" "young" "+"))
The lion likes the bear.
True
1
proof
[(triple6 OR ((triple5) -> rule1))]
("lion" "likes" "bear" "+")
triple6
((triple5) -> (rule1 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion is not young.
False
1
inv-proof
[(triple5)]
("lion" "is" "young" "-")
triple5
The bear is young.
True
2
proof
[(((triple7) -> rule8))]
("bear" "is" "young" "+")
((triple7) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple7) -> rule8))]
("bear" "is" "young" "-")
((triple7) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The lion is not nice.
Unknown
inv-rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "nice" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "visits" "bear" "+")
The bear does not eat the lion.
Unknown
inv-random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "-")
The bear likes the lion.
Unknown
random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "+")
@0: The bear is nice.[(triple1 OR ((triple2) -> rule6) OR ((triple7 triple4) -> rule7) OR ((triple7 ((triple7) -> rule5)) -> rule7))] The bear visits the lion.[(triple2)] The lion eats the bear.[(triple3)] The lion is green.[(triple4 OR ((triple7) -> rule5))] The lion is young.[(triple5)] The lion likes the bear.[(triple6 OR ((triple5) -> rule1))] The lion visits the bear.[(triple7)] @1: The bear is young.[(((triple7) -> rule8))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
((triple2) -> (rule6 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple7 triple4) -> (rule7 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple7 ((triple7) -> (rule5 % int2))) -> (rule7 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The lion is green.
("lion" "is" "green" "+")
int2
The bear visits the lion.
("bear" "visits" "lion" "+")
triple2
The lion eats the bear.
("lion" "eats" "bear" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
((triple7) -> (rule5 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is young.
("lion" "is" "young" "+")
triple5
The lion likes the bear.
("lion" "likes" "bear" "+")
triple6
((triple5) -> (rule1 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
triple7
The bear is young.
("bear" "is" "young" "+")
((triple7) -> (rule8 % int1))
The bear is young.
("bear" "is" "young" "+")
int1