The bald eagle sees the lion. The lion is big. If someone sees the lion then they visit the lion. If someone visits the lion and they see the lion then the lion needs the bald eagle. If someone sees the lion and they need the bald eagle then the lion needs the bald eagle.
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
If someone sees the lion then they visit the lion.
((("someone" "sees" "lion" "+")) -> ("someone" "visits" "lion" "+"))
If someone visits the lion and they see the lion then the lion needs the bald eagle.
((("someone" "visits" "lion" "+") ("someone" "sees" "lion" "+")) -> ("lion" "needs" "bald eagle" "+"))
If someone sees the lion and they need the bald eagle then the lion needs the bald eagle.
((("someone" "sees" "lion" "+") ("someone" "needs" "bald eagle" "+")) -> ("lion" "needs" "bald eagle" "+"))
The bald eagle sees the lion.
True
1
proof
[(triple1)]
("bald eagle" "sees" "lion" "+")
triple1
The bald eagle does not see the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "lion" "-")
triple1
The bald eagle visits the lion.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "visits" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle does not visit the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "visits" "lion" "-")
((triple1) -> (rule1 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The lion needs the bald eagle.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule2))]
("lion" "needs" "bald eagle" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The lion does not need the bald eagle.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule2))]
("lion" "needs" "bald eagle" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2
The lion does not visit the lion.
Unknown
inv-rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "lion" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The bald eagle sees the lion.[(triple1)] The lion is big.[(triple2)] @1: The bald eagle visits the lion.[(((triple1) -> rule1))] @2: The lion needs the bald eagle.[(((((triple1) -> rule1) triple1) -> rule2))]
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple1
The lion is big.
("lion" "is" "big" "+")
triple2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int2