The bear eats the cow. The cow is blue. The mouse eats the squirrel. The squirrel needs the cow. If something eats the squirrel then it eats the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
If something eats the squirrel then it eats the cow.
((("something" "eats" "squirrel" "+")) -> ("something" "eats" "cow" "+"))
The cow is blue.
True
1
proof
[(triple2)]
("cow" "is" "blue" "+")
triple2
The squirrel does not need the cow.
False
1
inv-proof
[(triple4)]
("squirrel" "needs" "cow" "-")
triple4
The mouse eats the cow.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "eats" "cow" "+")
((triple3) -> (rule1 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The mouse does not eat the cow.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "eats" "cow" "-")
((triple3) -> (rule1 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "-")
The squirrel eats the cow.
Unknown
rconc
[@1: The squirrel eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "cow" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The squirrel is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The bear eats the cow.[(triple1)] The cow is blue.[(triple2)] The mouse eats the squirrel.[(triple3)] The squirrel needs the cow.[(triple4)] @1: The mouse eats the cow.[(((triple3) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple3
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple4
The mouse eats the cow.
("mouse" "eats" "cow" "+")
((triple3) -> (rule1 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1