The bald eagle is red. The cat visits the mouse. The mouse is red. If something is red then it eats the mouse. If something is red and it visits the mouse then it sees the mouse.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse is red.
("mouse" "is" "red" "+")
If something is red then it eats the mouse.
((("something" "is" "red" "+")) -> ("something" "eats" "mouse" "+"))
If something is red and it visits the mouse then it sees the mouse.
((("something" "is" "red" "+") ("something" "visits" "mouse" "+")) -> ("something" "sees" "mouse" "+"))
The bald eagle is red.
True
1
proof
[(triple1)]
("bald eagle" "is" "red" "+")
triple1
The cat does not visit the mouse.
False
1
inv-proof
[(triple2)]
("cat" "visits" "mouse" "-")
triple2
The mouse eats the mouse.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "eats" "mouse" "+")
((triple3) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not eat the mouse.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "eats" "mouse" "-")
((triple3) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The cat sees the mouse.
Unknown
rconc
[@1: The cat sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "mouse" "+")
The bald eagle does not visit the cat.
Unknown
inv-random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle is red.[(triple1)] The cat visits the mouse.[(triple2)] The mouse is red.[(triple3)] @1: The bald eagle eats the mouse.[(((triple1) -> rule1))] The mouse eats the mouse.[(((triple3) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple2
The mouse is red.
("mouse" "is" "red" "+")
triple3
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((triple1) -> (rule1 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple3) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1