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