The bald eagle visits the lion. The lion is rough. If the lion visits the bald eagle then the bald eagle visits the lion. If the bald eagle needs the lion then the lion needs the bald eagle. If someone is cold then they need the lion. If someone visits the bald eagle then they visit the lion. If someone needs the lion and the lion visits the bald eagle then they are big. If someone is rough then they need the bald eagle. If someone chases the lion and the lion chases the bald eagle then the lion is rough. If someone needs the bald eagle and the bald eagle visits the lion then they visit the bald eagle.
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion is rough.
("lion" "is" "rough" "+")
If the lion visits the bald eagle then the bald eagle visits the lion.
((("lion" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "lion" "+"))
If the bald eagle needs the lion then the lion needs the bald eagle.
((("bald eagle" "needs" "lion" "+")) -> ("lion" "needs" "bald eagle" "+"))
If someone is cold then they need the lion.
((("someone" "is" "cold" "+")) -> ("someone" "needs" "lion" "+"))
If someone visits the bald eagle then they visit the lion.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "lion" "+"))
If someone needs the lion and the lion visits the bald eagle then they are big.
((("someone" "needs" "lion" "+") ("lion" "visits" "bald eagle" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they need the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "bald eagle" "+"))
If someone chases the lion and the lion chases the bald eagle then the lion is rough.
((("someone" "chases" "lion" "+") ("lion" "chases" "bald eagle" "+")) -> ("lion" "is" "rough" "+"))
If someone needs the bald eagle and the bald eagle visits the lion then they visit the bald eagle.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "visits" "lion" "+")) -> ("someone" "visits" "bald eagle" "+"))
The bald eagle visits the lion.
True
1
proof
[(triple1)]
("bald eagle" "visits" "lion" "+")
triple1
The lion is not rough.
False
1
inv-proof
[(triple2)]
("lion" "is" "rough" "-")
triple2
The lion needs the bald eagle.
True
2
proof
[(((triple2) -> rule6))]
("lion" "needs" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion does not need the bald eagle.
False
2
inv-proof
[(((triple2) -> rule6))]
("lion" "needs" "bald eagle" "-")
((triple2) -> (rule6 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion visits the bald eagle.
True
4
proof
[(((((triple2) -> rule6) triple1) -> rule8))]
("lion" "visits" "bald eagle" "+")
((((triple2) -> (rule6 % int2)) triple1) -> (rule8 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The lion does not visit the bald eagle.
False
4
inv-proof
[(((((triple2) -> rule6) triple1) -> rule8))]
("lion" "visits" "bald eagle" "-")
((((triple2) -> (rule6 % int2)) triple1) -> (rule8 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The lion visits the lion.
True
5
proof
[(((((((triple2) -> rule6) triple1) -> rule8)) -> rule4))]
("lion" "visits" "lion" "+")
((((((triple2) -> (rule6 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The lion does not visit the lion.
False
5
inv-proof
[(((((((triple2) -> rule6) triple1) -> rule8)) -> rule4))]
("lion" "visits" "lion" "-")
((((((triple2) -> (rule6 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule8 <- rule6 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle needs the lion.
Unknown
rconc
[@1: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "needs" "lion" "+")
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "needs" "lion" "-")
The bald eagle is big.
Unknown
rconc
[@2: The bald eagle is big.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("bald eagle" "is" "big" "+")
The bald eagle is not cold.
Unknown
inv-random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The lion chases the bald eagle.
Unknown
random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "+")
@0: The bald eagle visits the lion.[(triple1)] The lion is rough.[(triple2)] @1: The lion needs the bald eagle.[(((triple2) -> rule6))] @2: The lion visits the bald eagle.[(((((triple2) -> rule6) triple1) -> rule8))] @3: The lion visits the lion.[(((((((triple2) -> rule6) triple1) -> rule8)) -> rule4))]
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple1
The lion is rough.
("lion" "is" "rough" "+")
triple2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
((triple2) -> (rule6 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
((((triple2) -> (rule6 % int2)) triple1) -> (rule8 % int1))
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int2
The lion visits the lion.
("lion" "visits" "lion" "+")
((((((triple2) -> (rule6 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
int2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int3