The bear chases the cow. The cow chases the bear. The cow is blue. If someone likes the bear then they chase the bear. If the bear is rough then the bear eats the cow. If someone chases the bear and the bear chases the cow then the bear eats the cow. If someone likes the bear and the bear eats the cow then the bear is round. If the bear likes the cow then the cow is cold. If someone eats the cow and they like the bear then the bear eats the cow.
The bear chases the cow.
("bear" "chases" "cow" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow is blue.
("cow" "is" "blue" "+")
If someone likes the bear then they chase the bear.
((("someone" "likes" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If the bear is rough then the bear eats the cow.
((("bear" "is" "rough" "+")) -> ("bear" "eats" "cow" "+"))
If someone chases the bear and the bear chases the cow then the bear eats the cow.
((("someone" "chases" "bear" "+") ("bear" "chases" "cow" "+")) -> ("bear" "eats" "cow" "+"))
If someone likes the bear and the bear eats the cow then the bear is round.
((("someone" "likes" "bear" "+") ("bear" "eats" "cow" "+")) -> ("bear" "is" "round" "+"))
If the bear likes the cow then the cow is cold.
((("bear" "likes" "cow" "+")) -> ("cow" "is" "cold" "+"))
If someone eats the cow and they like the bear then the bear eats the cow.
((("someone" "eats" "cow" "+") ("someone" "likes" "bear" "+")) -> ("bear" "eats" "cow" "+"))
The cow is blue.
True
1
proof
[(triple3)]
("cow" "is" "blue" "+")
triple3
The bear does not chase the cow.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cow" "-")
triple1
The bear eats the cow.
True
3
proof
[(((triple2 triple1) -> rule3))]
("bear" "eats" "cow" "+")
((triple2 triple1) -> (rule3 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The bear does not eat the cow.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("bear" "eats" "cow" "-")
((triple2 triple1) -> (rule3 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "cold" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "round" "+")
The bear does not like the cow.
Unknown
inv-random
[@0: The bear likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cow" "-")
The cow likes the bear.
Unknown
random
[@0: The cow likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "bear" "+")
@0: The bear chases the cow.[(triple1)] The cow chases the bear.[(triple2)] The cow is blue.[(triple3)] @1: The bear eats the cow.[(((triple2 triple1) -> rule3))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The cow chases the bear.
("cow" "chases" "bear" "+")
triple2
The cow is blue.
("cow" "is" "blue" "+")
triple3
The bear eats the cow.
("bear" "eats" "cow" "+")
((triple2 triple1) -> (rule3 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1