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