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