The bear chases the lion. The bear is big. The bear is kind. The bear is nice. The bear is rough. The bear is round. The bear likes the lion. The bear needs the lion. The lion chases the bear. The lion is not big. The lion is kind. The lion is not nice. The lion is not rough. The lion is round. The lion likes the bear. The lion needs the bear. If someone likes the lion and they are kind then they chase the lion. If someone is kind and nice then they chase the lion. If someone chases the lion then they do not like the bear. If someone likes the bear then the bear chases the lion. If someone likes the bear and the bear does not need the lion then they chase the bear. If someone likes the lion then they chase the bear. If someone is rough then they are big. If the bear chases the lion then the lion is kind.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is not big.
("lion" "is" "big" "-")
The lion is kind.
("lion" "is" "kind" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The lion is not rough.
("lion" "is" "rough" "-")
The lion is round.
("lion" "is" "round" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If someone likes the lion and they are kind then they chase the lion.
((("someone" "likes" "lion" "+") ("someone" "is" "kind" "+")) -> ("someone" "chases" "lion" "+"))
If someone is kind and nice then they chase the lion.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the lion then they do not like the bear.
((("someone" "chases" "lion" "+")) -> ("someone" "likes" "bear" "-"))
If someone likes the bear then the bear chases the lion.
((("someone" "likes" "bear" "+")) -> ("bear" "chases" "lion" "+"))
If someone likes the bear and the bear does not need the lion then they chase the bear.
((("someone" "likes" "bear" "+") ("bear" "needs" "lion" "~")) -> ("someone" "chases" "bear" "+"))
If someone likes the lion then they chase the bear.
((("someone" "likes" "lion" "+")) -> ("someone" "chases" "bear" "+"))
If someone is rough then they are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If the bear chases the lion then the lion is kind.
((("bear" "chases" "lion" "+")) -> ("lion" "is" "kind" "+"))
The bear is big.
True
1
proof
[(triple2 OR ((triple5) -> rule7))]
("bear" "is" "big" "+")
triple2
((triple5) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not rough.
False
1
inv-proof
[(triple5)]
("bear" "is" "rough" "-")
triple5
The bear chases the bear.
True
2
proof
[(((triple7) -> rule6))]
("bear" "chases" "bear" "+")
((triple7) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear likes the bear.
False
2
inv-proof
[(((triple1) -> rule3) OR ((((triple15) -> rule4)) -> rule3) OR ((((triple3 triple4) -> rule2)) -> rule3) OR ((((triple7 triple3) -> rule1)) -> rule3))]
("bear" "likes" "bear" "+")
((triple1) -> (rule3 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
((((triple15) -> (rule4 % int2))) -> (rule3 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
((((triple3 triple4) -> (rule2 % int2))) -> (rule3 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
((((triple7 triple3) -> (rule1 % int2))) -> (rule3 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear chases the lion.[(triple1 OR ((triple15) -> rule4) OR ((triple3 triple4) -> rule2) OR ((triple7 triple3) -> rule1))] The bear is big.[(triple2 OR ((triple5) -> rule7))] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear likes the lion.[(triple7)] The bear needs the lion.[(triple8)] The lion chases the bear.[(triple9)] The lion is kind.[(triple11 OR ((triple1) -> rule8) OR ((((triple15) -> rule4)) -> rule8) OR ((((triple3 triple4) -> rule2)) -> rule8) OR ((((triple7 triple3) -> rule1)) -> rule8))] The lion is not big.[(triple10)] The lion is not nice.[(triple12)] The lion is not rough.[(triple13)] The lion is round.[(triple14)] The lion likes the bear.[(triple15)] The lion needs the bear.[(triple16)] @1: The bear chases the bear.[(((triple7) -> rule6))] The bear does not like the bear.[(((triple1) -> rule3) OR ((((triple15) -> rule4)) -> rule3) OR ((((triple3 triple4) -> rule2)) -> rule3) OR ((((triple7 triple3) -> rule1)) -> rule3))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
((triple15) -> (rule4 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
((triple3 triple4) -> (rule2 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
((triple7 triple3) -> (rule1 % int1))
The bear chases the lion.
("bear" "chases" "lion" "+")
int1
The bear is big.
("bear" "is" "big" "+")
triple2
((triple5) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear likes the lion.
("bear" "likes" "lion" "+")
triple7
The bear needs the lion.
("bear" "needs" "lion" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple11
((triple1) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
((((triple15) -> (rule4 % int2))) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
((((triple3 triple4) -> (rule2 % int2))) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
((((triple7 triple3) -> (rule1 % int2))) -> (rule8 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
The lion is not big.
("lion" "is" "big" "-")
triple10
The lion is not nice.
("lion" "is" "nice" "-")
triple12
The lion is not rough.
("lion" "is" "rough" "-")
triple13
The lion is round.
("lion" "is" "round" "+")
triple14
The lion likes the bear.
("lion" "likes" "bear" "+")
triple15
The lion needs the bear.
("lion" "needs" "bear" "+")
triple16
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple7) -> (rule6 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear does not like the bear.
("bear" "likes" "bear" "-")
((triple1) -> (rule3 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
((((triple15) -> (rule4 % int2))) -> (rule3 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
((((triple3 triple4) -> (rule2 % int2))) -> (rule3 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2
((((triple7 triple3) -> (rule1 % int2))) -> (rule3 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
The bear chases the lion.
("bear" "chases" "lion" "+")
int2