The bear eats the lion. The bear eats the rabbit. The bear is rough. The bear visits the rabbit. The cow eats the bear. The cow eats the rabbit. The cow visits the rabbit. The lion chases the bear. The lion is red. The rabbit chases the lion. The rabbit eats the bear. The rabbit is big. If someone visits the cow then the cow visits the rabbit. If someone is red then they eat the lion. If someone eats the lion then they visit the bear.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is red.
("lion" "is" "red" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
If someone visits the cow then the cow visits the rabbit.
((("someone" "visits" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
If someone is red then they eat the lion.
((("someone" "is" "red" "+")) -> ("someone" "eats" "lion" "+"))
If someone eats the lion then they visit the bear.
((("someone" "eats" "lion" "+")) -> ("someone" "visits" "bear" "+"))
The bear is rough.
True
1
proof
[(triple3)]
("bear" "is" "rough" "+")
triple3
The bear is not rough.
False
1
inv-proof
[(triple3)]
("bear" "is" "rough" "-")
triple3
The bear visits the bear.
True
2
proof
[(((triple1) -> rule3))]
("bear" "visits" "bear" "+")
((triple1) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
2
inv-proof
[(((triple1) -> rule3))]
("bear" "visits" "bear" "-")
((triple1) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The lion visits the bear.
True
3
proof
[(((((triple9) -> rule2)) -> rule3))]
("lion" "visits" "bear" "+")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion does not visit the bear.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule3))]
("lion" "visits" "bear" "-")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The rabbit does not eat the lion.
Unknown
inv-rconc
[@1: The rabbit eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "eats" "lion" "-")
The cow visits the bear.
Unknown
rconc
[@2: The cow visits the bear.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("cow" "visits" "bear" "+")
The cow does not eat the lion.
Unknown
inv-rconc
[@1: The cow eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "lion" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit chases the cow.
Unknown
random
[@0: The rabbit chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cow" "+")
@0: The bear eats the lion.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is rough.[(triple3)] The bear visits the rabbit.[(triple4)] The cow eats the bear.[(triple5)] The cow eats the rabbit.[(triple6)] The cow visits the rabbit.[(triple7)] The lion chases the bear.[(triple8)] The lion is red.[(triple9)] The rabbit chases the lion.[(triple10)] The rabbit eats the bear.[(triple11)] The rabbit is big.[(triple12)] @1: The bear visits the bear.[(((triple1) -> rule3))] The lion eats the lion.[(((triple9) -> rule2))] @2: The lion visits the bear.[(((((triple9) -> rule2)) -> rule3))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The cow eats the bear.
("cow" "eats" "bear" "+")
triple5
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple7
The lion chases the bear.
("lion" "chases" "bear" "+")
triple8
The lion is red.
("lion" "is" "red" "+")
triple9
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple10
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple11
The rabbit is big.
("rabbit" "is" "big" "+")
triple12
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple1) -> (rule3 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple9) -> (rule2 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2