The bear eats the cow. The bear is rough. The bear likes the cow. The cow likes the lion. The lion eats the bear. The lion eats the cow. The lion does not like the cow. If someone eats the bear then they eat the lion.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion does not like the cow.
("lion" "likes" "cow" "-")
If someone eats the bear then they eat the lion.
((("someone" "eats" "bear" "+")) -> ("someone" "eats" "lion" "+"))
The lion eats the cow.
True
1
proof
[(triple6)]
("lion" "eats" "cow" "+")
triple6
The bear does not like the cow.
False
1
inv-proof
[(triple3)]
("bear" "likes" "cow" "-")
triple3
The lion eats the lion.
True
2
proof
[(((triple5) -> rule1))]
("lion" "eats" "lion" "+")
((triple5) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple5) -> rule1))]
("lion" "eats" "lion" "-")
((triple5) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The cow does not eat the lion.
Unknown
inv-rconc
[@1: The cow eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "lion" "-")
The bear eats the lion.
Unknown
rconc
[@1: The bear eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "lion" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The lion likes the bear.
Unknown
random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "+")
@0: The bear eats the cow.[(triple1)] The bear is rough.[(triple2)] The bear likes the cow.[(triple3)] The cow likes the lion.[(triple4)] The lion does not like the cow.[(triple7)] The lion eats the bear.[(triple5)] The lion eats the cow.[(triple6)] @1: The lion eats the lion.[(((triple5) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear likes the cow.
("bear" "likes" "cow" "+")
triple3
The cow likes the lion.
("cow" "likes" "lion" "+")
triple4
The lion does not like the cow.
("lion" "likes" "cow" "-")
triple7
The lion eats the bear.
("lion" "eats" "bear" "+")
triple5
The lion eats the cow.
("lion" "eats" "cow" "+")
triple6
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple5) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1