The cow is red. The lion eats the mouse. The mouse is young. The squirrel does not eat the lion. If something sees the squirrel then it chases the squirrel. All red things are not young.
The cow is red.
("cow" "is" "red" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The mouse is young.
("mouse" "is" "young" "+")
The squirrel does not eat the lion.
("squirrel" "eats" "lion" "-")
If something sees the squirrel then it chases the squirrel.
((("something" "sees" "squirrel" "+")) -> ("something" "chases" "squirrel" "+"))
All red things are not young.
((("something" "is" "red" "+")) -> ("something" "is" "young" "-"))
The lion eats the mouse.
True
1
proof
[(triple2)]
("lion" "eats" "mouse" "+")
triple2
The mouse is not young.
False
1
inv-proof
[(triple3)]
("mouse" "is" "young" "-")
triple3
The cow is not young.
True
2
proof
[(((triple1) -> rule2))]
("cow" "is" "young" "-")
((triple1) -> (rule2 % int1))
The cow is not young.
("cow" "is" "young" "-")
int1
The cow is young.
False
2
inv-proof
[(((triple1) -> rule2))]
("cow" "is" "young" "+")
((triple1) -> (rule2 % int1))
The cow is not young.
("cow" "is" "young" "-")
int1
The lion does not chase the squirrel.
Unknown
inv-rconc
[@1: The lion chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "squirrel" "-")
The cow chases the squirrel.
Unknown
rconc
[@1: The cow chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "squirrel" "+")
The squirrel does not see the cow.
Unknown
inv-random
[@0: The squirrel sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cow" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The cow is red.[(triple1)] The lion eats the mouse.[(triple2)] The mouse is young.[(triple3)] The squirrel does not eat the lion.[(triple4)] @1: The cow is not young.[(((triple1) -> rule2))]
The cow is red.
("cow" "is" "red" "+")
triple1
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The squirrel does not eat the lion.
("squirrel" "eats" "lion" "-")
triple4
The cow is not young.
("cow" "is" "young" "-")
((triple1) -> (rule2 % int1))
The cow is not young.
("cow" "is" "young" "-")
int1