The bald eagle chases the lion. The bald eagle is young. The bald eagle likes the lion. The bald eagle needs the lion. The lion chases the bald eagle. The lion is kind. The lion is nice. The lion is young. The lion likes the bald eagle. The lion needs the bald eagle. If someone is nice and rough then they are green. If the lion is kind then the lion likes the bald eagle. If the lion chases the bald eagle and the lion likes the bald eagle then the lion is nice. If someone chases the lion and they are nice then the lion likes the bald eagle. If someone is kind then they need the lion. If someone likes the bald eagle and they are green then the bald eagle is rough.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
If someone is nice and rough then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If the lion is kind then the lion likes the bald eagle.
((("lion" "is" "kind" "+")) -> ("lion" "likes" "bald eagle" "+"))
If the lion chases the bald eagle and the lion likes the bald eagle then the lion is nice.
((("lion" "chases" "bald eagle" "+") ("lion" "likes" "bald eagle" "+")) -> ("lion" "is" "nice" "+"))
If someone chases the lion and they are nice then the lion likes the bald eagle.
((("someone" "chases" "lion" "+") ("someone" "is" "nice" "+")) -> ("lion" "likes" "bald eagle" "+"))
If someone is kind then they need the lion.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "lion" "+"))
If someone likes the bald eagle and they are green then the bald eagle is rough.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "green" "+")) -> ("bald eagle" "is" "rough" "+"))
The bald eagle needs the lion.
True
1
proof
[(triple4)]
("bald eagle" "needs" "lion" "+")
triple4
The lion is not young.
False
1
inv-proof
[(triple8)]
("lion" "is" "young" "-")
triple8
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "green" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle needs the lion.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion is kind.[(triple6)] The lion is nice.[(triple7 OR ((triple5 triple9) -> rule3) OR ((triple5 ((triple6) -> rule2)) -> rule3))] The lion is young.[(triple8)] The lion likes the bald eagle.[(triple9 OR ((triple6) -> rule2))] The lion needs the bald eagle.[(triple10)] @1: The lion needs the lion.[(((triple6) -> rule5))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion is kind.
("lion" "is" "kind" "+")
triple6
The lion is nice.
("lion" "is" "nice" "+")
triple7
((triple5 triple9) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
((triple5 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The lion is young.
("lion" "is" "young" "+")
triple8
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple9
((triple6) -> (rule2 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple10
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple6) -> (rule5 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1