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