The bald eagle chases the cat. The cat sees the bald eagle. The dog chases the bald eagle. The mouse needs the bald eagle. If someone needs the bald eagle then they need the mouse.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If someone needs the bald eagle then they need the mouse.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "mouse" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The dog does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("dog" "chases" "bald eagle" "-")
triple3
The mouse needs the mouse.
True
2
proof
[(((triple4) -> rule1))]
("mouse" "needs" "mouse" "+")
((triple4) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse does not need the mouse.
False
2
inv-proof
[(((triple4) -> rule1))]
("mouse" "needs" "mouse" "-")
((triple4) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The cat does not need the mouse.
Unknown
inv-rconc
[@1: The cat needs the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "mouse" "-")
The dog needs the mouse.
Unknown
rconc
[@1: The dog needs the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "mouse" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The bald eagle chases the cat.[(triple1)] The cat sees the bald eagle.[(triple2)] The dog chases the bald eagle.[(triple3)] The mouse needs the bald eagle.[(triple4)] @1: The mouse needs the mouse.[(((triple4) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple4
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple4) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1