The bear chases the lion. The bear eats the lion. The bear is not big. The bear is green. The bear is not nice. The bear is rough. The bear is young. The bear likes the lion. The lion chases the bear. The lion does not eat the bear. The lion is not big. The lion is green. The lion is not rough. The lion is not young. The lion likes the bear. If someone is green and rough then they like the lion. If someone is green then they eat the lion.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is not big.
("bear" "is" "big" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion does not eat the bear.
("lion" "eats" "bear" "-")
The lion is not big.
("lion" "is" "big" "-")
The lion is green.
("lion" "is" "green" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion is not young.
("lion" "is" "young" "-")
The lion likes the bear.
("lion" "likes" "bear" "+")
If someone is green and rough then they like the lion.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "likes" "lion" "+"))
If someone is green then they eat the lion.
((("someone" "is" "green" "+")) -> ("someone" "eats" "lion" "+"))
The bear is green.
True
1
proof
[(triple4)]
("bear" "is" "green" "+")
triple4
The lion does not chase the bear.
False
1
inv-proof
[(triple9)]
("lion" "chases" "bear" "-")
triple9
The lion eats the lion.
True
2
proof
[(((triple12) -> rule2))]
("lion" "eats" "lion" "+")
((triple12) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple12) -> rule2))]
("lion" "eats" "lion" "-")
((triple12) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "lion" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The bear chases the lion.[(triple1)] The bear eats the lion.[(triple2 OR ((triple4) -> rule2))] The bear is green.[(triple4)] The bear is not big.[(triple3)] The bear is not nice.[(triple5)] The bear is rough.[(triple6)] The bear is young.[(triple7)] The bear likes the lion.[(triple8 OR ((triple4 triple6) -> rule1))] The lion chases the bear.[(triple9)] The lion does not eat the bear.[(triple10)] The lion is green.[(triple12)] The lion is not big.[(triple11)] The lion is not rough.[(triple13)] The lion is not young.[(triple14)] The lion likes the bear.[(triple15)] @1: The lion eats the lion.[(((triple12) -> rule2))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear eats the lion.
("bear" "eats" "lion" "+")
triple2
((triple4) -> (rule2 % int1))
The bear eats the lion.
("bear" "eats" "lion" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is not big.
("bear" "is" "big" "-")
triple3
The bear is not nice.
("bear" "is" "nice" "-")
triple5
The bear is rough.
("bear" "is" "rough" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear likes the lion.
("bear" "likes" "lion" "+")
triple8
((triple4 triple6) -> (rule1 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion does not eat the bear.
("lion" "eats" "bear" "-")
triple10
The lion is green.
("lion" "is" "green" "+")
triple12
The lion is not big.
("lion" "is" "big" "-")
triple11
The lion is not rough.
("lion" "is" "rough" "-")
triple13
The lion is not young.
("lion" "is" "young" "-")
triple14
The lion likes the bear.
("lion" "likes" "bear" "+")
triple15
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple12) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1