The bald eagle chases the lion. The bald eagle is not big. The bald eagle is green. The bald eagle is not rough. The bald eagle needs the lion. The lion is big. The lion is rough. If the lion is nice then the lion needs the bald eagle. If the bald eagle needs the lion and the bald eagle likes the lion then the bald eagle chases the lion. If the bald eagle chases the lion then the bald eagle is nice. If someone likes the bald eagle and they are not green then the bald eagle does not like the lion. If someone chases the lion then the lion is nice. If someone is rough and they like the lion then the lion is big.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is rough.
("lion" "is" "rough" "+")
If the lion is nice then the lion needs the bald eagle.
((("lion" "is" "nice" "+")) -> ("lion" "needs" "bald eagle" "+"))
If the bald eagle needs the lion and the bald eagle likes the lion then the bald eagle chases the lion.
((("bald eagle" "needs" "lion" "+") ("bald eagle" "likes" "lion" "+")) -> ("bald eagle" "chases" "lion" "+"))
If the bald eagle chases the lion then the bald eagle is nice.
((("bald eagle" "chases" "lion" "+")) -> ("bald eagle" "is" "nice" "+"))
If someone likes the bald eagle and they are not green then the bald eagle does not like the lion.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "green" "~")) -> ("bald eagle" "likes" "lion" "-"))
If someone chases the lion then the lion is nice.
((("someone" "chases" "lion" "+")) -> ("lion" "is" "nice" "+"))
If someone is rough and they like the lion then the lion is big.
((("someone" "is" "rough" "+") ("someone" "likes" "lion" "+")) -> ("lion" "is" "big" "+"))
The lion is rough.
True
1
proof
[(triple7)]
("lion" "is" "rough" "+")
triple7
The bald eagle does not need the lion.
False
1
inv-proof
[(triple5)]
("bald eagle" "needs" "lion" "-")
triple5
The bald eagle is nice.
True
2
proof
[(((triple1) -> rule3))]
("bald eagle" "is" "nice" "+")
((triple1) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The lion is not nice.
False
2
inv-proof
[(((triple1) -> rule5))]
("lion" "is" "nice" "-")
((triple1) -> (rule5 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion needs the bald eagle.
True
3
proof
[(((((triple1) -> rule5)) -> rule1))]
("lion" "needs" "bald eagle" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The lion does not need the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule1))]
("lion" "needs" "bald eagle" "-")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle likes the lion.
Unknown
random
[@0: The bald eagle likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "lion" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is green.[(triple3)] The bald eagle is not big.[(triple2)] The bald eagle is not rough.[(triple4)] The bald eagle needs the lion.[(triple5)] The lion is big.[(triple6)] The lion is rough.[(triple7)] @1: The bald eagle is nice.[(((triple1) -> rule3))] The lion is nice.[(((triple1) -> rule5))] @2: The lion needs the bald eagle.[(((((triple1) -> rule5)) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The bald eagle is not rough.
("bald eagle" "is" "rough" "-")
triple4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
The lion is big.
("lion" "is" "big" "+")
triple6
The lion is rough.
("lion" "is" "rough" "+")
triple7
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple1) -> (rule3 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((triple1) -> (rule5 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
int2