The bald eagle eats the lion. The bald eagle is big. The bald eagle is cold. The bald eagle is green. The bald eagle is red. The bald eagle is rough. The bald eagle needs the lion. The bald eagle visits the lion. The lion is green. The lion is rough. The lion needs the bald eagle. The lion visits the bald eagle. If someone needs the lion and they are cold then the lion needs the bald eagle. If someone is cold and they eat the lion then they need the lion. If someone eats the lion then the lion eats the bald eagle. If someone is big then they eat the lion. If someone needs the lion then the lion eats the bald eagle. If someone is cold and rough then they need the bald eagle.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If someone needs the lion and they are cold then the lion needs the bald eagle.
((("someone" "needs" "lion" "+") ("someone" "is" "cold" "+")) -> ("lion" "needs" "bald eagle" "+"))
If someone is cold and they eat the lion then they need the lion.
((("someone" "is" "cold" "+") ("someone" "eats" "lion" "+")) -> ("someone" "needs" "lion" "+"))
If someone eats the lion then the lion eats the bald eagle.
((("someone" "eats" "lion" "+")) -> ("lion" "eats" "bald eagle" "+"))
If someone is big then they eat the lion.
((("someone" "is" "big" "+")) -> ("someone" "eats" "lion" "+"))
If someone needs the lion then the lion eats the bald eagle.
((("someone" "needs" "lion" "+")) -> ("lion" "eats" "bald eagle" "+"))
If someone is cold and rough then they need the bald eagle.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "needs" "bald eagle" "+"))
The bald eagle is rough.
True
1
proof
[(triple6)]
("bald eagle" "is" "rough" "+")
triple6
The bald eagle does not visit the lion.
False
1
inv-proof
[(triple8)]
("bald eagle" "visits" "lion" "-")
triple8
The lion eats the bald eagle.
True
2
proof
[(((triple1) -> rule3) OR ((triple7) -> rule5) OR ((((triple2) -> rule4)) -> rule3) OR ((((triple3 triple1) -> rule2)) -> rule5) OR ((((triple3 ((triple2) -> rule4)) -> rule2)) -> rule5))]
("lion" "eats" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
((triple7) -> (rule5 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
((((triple3 triple1) -> (rule2 % int2))) -> (rule5 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
((((triple3 ((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The bald eagle does not need the bald eagle.
False
3
inv-proof
[(((triple3 triple6) -> rule6))]
("bald eagle" "needs" "bald eagle" "-")
((triple3 triple6) -> (rule6 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "eats" "lion" "-")
The lion needs the lion.
Unknown
rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "needs" "lion" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The bald eagle eats the lion.[(triple1 OR ((triple2) -> rule4))] The bald eagle is big.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle needs the lion.[(triple7 OR ((triple3 triple1) -> rule2) OR ((triple3 ((triple2) -> rule4)) -> rule2))] The bald eagle visits the lion.[(triple8)] The lion is green.[(triple9)] The lion is rough.[(triple10)] The lion needs the bald eagle.[(triple11 OR ((triple7 triple3) -> rule1) OR ((((triple3 triple1) -> rule2) triple3) -> rule1) OR ((((triple3 ((triple2) -> rule4)) -> rule2) triple3) -> rule1))] The lion visits the bald eagle.[(triple12)] @1: The bald eagle needs the bald eagle.[(((triple3 triple6) -> rule6))] The lion eats the bald eagle.[(((triple1) -> rule3) OR ((triple7) -> rule5) OR ((((triple2) -> rule4)) -> rule3) OR ((((triple3 triple1) -> rule2)) -> rule5) OR ((((triple3 ((triple2) -> rule4)) -> rule2)) -> rule5))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
((triple2) -> (rule4 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple6
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple7
((triple3 triple1) -> (rule2 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
((triple3 ((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion is rough.
("lion" "is" "rough" "+")
triple10
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple11
((triple7 triple3) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
((((triple3 triple1) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
((((triple3 ((triple2) -> (rule4 % int3))) -> (rule2 % int2)) triple3) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple12
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple3 triple6) -> (rule6 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
((triple7) -> (rule5 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
((((triple3 triple1) -> (rule2 % int2))) -> (rule5 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
((((triple3 ((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int3