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