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