The bear is green. The cat eats the bear. The cow sees the bear. The mouse sees the bear. If someone is green then they eat the cat.
The bear is green.
("bear" "is" "green" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If someone is green then they eat the cat.
((("someone" "is" "green" "+")) -> ("someone" "eats" "cat" "+"))
The bear is green.
True
1
proof
[(triple1)]
("bear" "is" "green" "+")
triple1
The cow does not see the bear.
False
1
inv-proof
[(triple3)]
("cow" "sees" "bear" "-")
triple3
The bear eats the cat.
True
2
proof
[(((triple1) -> rule1))]
("bear" "eats" "cat" "+")
((triple1) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The bear does not eat the cat.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "eats" "cat" "-")
((triple1) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "-")
The cow eats the cat.
Unknown
rconc
[@1: The cow eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cat" "+")
The mouse does not visit the bear.
Unknown
inv-random
[@0: The mouse visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "bear" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The bear is green.[(triple1)] The cat eats the bear.[(triple2)] The cow sees the bear.[(triple3)] The mouse sees the bear.[(triple4)] @1: The bear eats the cat.[(((triple1) -> rule1))]
The bear is green.
("bear" "is" "green" "+")
triple1
The cat eats the bear.
("cat" "eats" "bear" "+")
triple2
The cow sees the bear.
("cow" "sees" "bear" "+")
triple3
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple4
The bear eats the cat.
("bear" "eats" "cat" "+")
((triple1) -> (rule1 % int1))
The bear eats the cat.
("bear" "eats" "cat" "+")
int1