The bear does not chase the cow. The cow eats the tiger. The cow does not like the bear. The tiger does not chase the bear. The tiger eats the bear. The tiger is kind. The tiger likes the bear. If the tiger is big then the tiger does not chase the bear. If something is kind then it eats the cow.
The bear does not chase the cow.
("bear" "chases" "cow" "-")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow does not like the bear.
("cow" "likes" "bear" "-")
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If the tiger is big then the tiger does not chase the bear.
((("tiger" "is" "big" "+")) -> ("tiger" "chases" "bear" "-"))
If something is kind then it eats the cow.
((("something" "is" "kind" "+")) -> ("something" "eats" "cow" "+"))
The tiger eats the bear.
True
1
proof
[(triple5)]
("tiger" "eats" "bear" "+")
triple5
The tiger does not like the bear.
False
1
inv-proof
[(triple7)]
("tiger" "likes" "bear" "-")
triple7
The tiger eats the cow.
True
2
proof
[(((triple6) -> rule2))]
("tiger" "eats" "cow" "+")
((triple6) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The tiger does not eat the cow.
False
2
inv-proof
[(((triple6) -> rule2))]
("tiger" "eats" "cow" "-")
((triple6) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The bear does not eat the cow.
Unknown
inv-rconc
[@1: The bear eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "cow" "-")
The cow eats the cow.
Unknown
rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "eats" "cow" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bear does not chase the cow.[(triple1)] The cow does not like the bear.[(triple3)] The cow eats the tiger.[(triple2)] The tiger does not chase the bear.[(triple4)] The tiger eats the bear.[(triple5)] The tiger is kind.[(triple6)] The tiger likes the bear.[(triple7)] @1: The tiger eats the cow.[(((triple6) -> rule2))]
The bear does not chase the cow.
("bear" "chases" "cow" "-")
triple1
The cow does not like the bear.
("cow" "likes" "bear" "-")
triple3
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple2
The tiger does not chase the bear.
("tiger" "chases" "bear" "-")
triple4
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple5
The tiger is kind.
("tiger" "is" "kind" "+")
triple6
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple7
The tiger eats the cow.
("tiger" "eats" "cow" "+")
((triple6) -> (rule2 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1