The bear is nice. The bear is rough. The bear likes the rabbit. The bear sees the rabbit. The lion is nice. The rabbit eats the bear. The rabbit is round. Red things are nice. If something is nice and it likes the rabbit then the rabbit sees the lion. If something sees the lion then the lion is blue. If something sees the lion then it likes the rabbit. If something eats the rabbit and it is round then the rabbit eats the lion. If something eats the lion and the lion eats the bear then the bear sees the rabbit. Round things are nice. If something sees the bear and the bear eats the lion then the lion eats the rabbit.
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The lion is nice.
("lion" "is" "nice" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If something is nice and it likes the rabbit then the rabbit sees the lion.
((("something" "is" "nice" "+") ("something" "likes" "rabbit" "+")) -> ("rabbit" "sees" "lion" "+"))
If something sees the lion then the lion is blue.
((("something" "sees" "lion" "+")) -> ("lion" "is" "blue" "+"))
If something sees the lion then it likes the rabbit.
((("something" "sees" "lion" "+")) -> ("something" "likes" "rabbit" "+"))
If something eats the rabbit and it is round then the rabbit eats the lion.
((("something" "eats" "rabbit" "+") ("something" "is" "round" "+")) -> ("rabbit" "eats" "lion" "+"))
If something eats the lion and the lion eats the bear then the bear sees the rabbit.
((("something" "eats" "lion" "+") ("lion" "eats" "bear" "+")) -> ("bear" "sees" "rabbit" "+"))
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something sees the bear and the bear eats the lion then the lion eats the rabbit.
((("something" "sees" "bear" "+") ("bear" "eats" "lion" "+")) -> ("lion" "eats" "rabbit" "+"))
The bear likes the rabbit.
True
1
proof
[(triple3)]
("bear" "likes" "rabbit" "+")
triple3
The lion is not nice.
False
1
inv-proof
[(triple5)]
("lion" "is" "nice" "-")
triple5
The rabbit sees the lion.
True
3
proof
[(((triple1 triple3) -> rule2))]
("rabbit" "sees" "lion" "+")
((triple1 triple3) -> (rule2 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit does not see the lion.
False
3
inv-proof
[(((triple1 triple3) -> rule2))]
("rabbit" "sees" "lion" "-")
((triple1 triple3) -> (rule2 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The rabbit does not eat the lion.
Unknown
inv-rconc
[@1: The rabbit eats the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "eats" "lion" "-")
The lion eats the rabbit.
Unknown
rconc
[@1: The lion eats the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "eats" "rabbit" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The rabbit likes the lion.
Unknown
random
[@0: The rabbit likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "lion" "+")
@0: The bear is nice.[(triple1)] The bear is rough.[(triple2)] The bear likes the rabbit.[(triple3)] The bear sees the rabbit.[(triple4)] The lion is nice.[(triple5)] The rabbit eats the bear.[(triple6)] The rabbit is round.[(triple7)] @1: The rabbit is nice.[(((triple7) -> rule7))] The rabbit sees the lion.[(((triple1 triple3) -> rule2))] @2: The lion is blue.[(((((triple1 triple3) -> rule2)) -> rule3))] The rabbit likes the rabbit.[(((((triple1 triple3) -> rule2)) -> rule4))]
The bear is nice.
("bear" "is" "nice" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple4
The lion is nice.
("lion" "is" "nice" "+")
triple5
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple6
The rabbit is round.
("rabbit" "is" "round" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple7) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
((triple1 triple3) -> (rule2 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((((triple1 triple3) -> (rule2 % int2))) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((triple1 triple3) -> (rule2 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int2