The bald eagle is big. The bald eagle is round. The bald eagle is young. The bald eagle likes the lion. The bald eagle needs the lion. The bald eagle sees the lion. The lion is nice. The lion likes the bald eagle. The lion needs the bald eagle. The lion sees the bald eagle. If something needs the lion and it is young then the lion likes the bald eagle. If something likes the lion and it is green then the lion is big. If the bald eagle likes the lion and the lion is round then the lion is nice. If something is young and big then it is green. If the lion is green and the lion sees the bald eagle then the bald eagle needs the lion. If something likes the bald eagle then the bald eagle sees the lion. If something likes the lion and the lion likes the bald eagle then the bald eagle is round. If something sees the bald eagle and it is nice then it needs the lion.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
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 bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If something needs the lion and it is young then the lion likes the bald eagle.
((("something" "needs" "lion" "+") ("something" "is" "young" "+")) -> ("lion" "likes" "bald eagle" "+"))
If something likes the lion and it is green then the lion is big.
((("something" "likes" "lion" "+") ("something" "is" "green" "+")) -> ("lion" "is" "big" "+"))
If the bald eagle likes the lion and the lion is round then the lion is nice.
((("bald eagle" "likes" "lion" "+") ("lion" "is" "round" "+")) -> ("lion" "is" "nice" "+"))
If something is young and big then it is green.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If the lion is green and the lion sees the bald eagle then the bald eagle needs the lion.
((("lion" "is" "green" "+") ("lion" "sees" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
If something likes the bald eagle then the bald eagle sees the lion.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "+"))
If something likes the lion and the lion likes the bald eagle then the bald eagle is round.
((("something" "likes" "lion" "+") ("lion" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If something sees the bald eagle and it is nice then it needs the lion.
((("something" "sees" "bald eagle" "+") ("something" "is" "nice" "+")) -> ("something" "needs" "lion" "+"))
The lion is nice.
True
1
proof
[(triple7)]
("lion" "is" "nice" "+")
triple7
The lion does not need the bald eagle.
False
1
inv-proof
[(triple9)]
("lion" "needs" "bald eagle" "-")
triple9
The bald eagle is green.
True
3
proof
[(((triple3 triple1) -> rule4))]
("bald eagle" "is" "green" "+")
((triple3 triple1) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle is not green.
False
3
inv-proof
[(((triple3 triple1) -> rule4))]
("bald eagle" "is" "green" "-")
((triple3 triple1) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The lion is big.
True
5
proof
[(((triple4 ((triple3 triple1) -> rule4)) -> rule2))]
("lion" "is" "big" "+")
((triple4 ((triple3 triple1) -> (rule4 % int2))) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The lion is not big.
False
5
inv-proof
[(((triple4 ((triple3 triple1) -> rule4)) -> rule2))]
("lion" "is" "big" "-")
((triple4 ((triple3 triple1) -> (rule4 % int2))) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2
The lion is not green.
Unknown
inv-rconc
[@1: The lion is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "green" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is round.[(triple2 OR ((triple4 triple8) -> rule7) OR ((triple4 ((triple5 triple3) -> rule1)) -> rule7))] The bald eagle is young.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle needs the lion.[(triple5)] The bald eagle sees the lion.[(triple6 OR ((triple8) -> rule6) OR ((((triple5 triple3) -> rule1)) -> rule6))] The lion is nice.[(triple7)] The lion likes the bald eagle.[(triple8 OR ((triple5 triple3) -> rule1))] The lion needs the bald eagle.[(triple9)] The lion sees the bald eagle.[(triple10)] @1: The bald eagle is green.[(((triple3 triple1) -> rule4))] The lion needs the lion.[(((triple10 triple7) -> rule8))] @2: The lion is big.[(((triple4 ((triple3 triple1) -> rule4)) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
((triple4 triple8) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((triple4 ((triple5 triple3) -> (rule1 % int2))) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple6
((triple8) -> (rule6 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
((((triple5 triple3) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The lion is nice.
("lion" "is" "nice" "+")
triple7
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
((triple5 triple3) -> (rule1 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple9
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple10
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple3 triple1) -> (rule4 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The lion needs the lion.
("lion" "needs" "lion" "+")
((triple10 triple7) -> (rule8 % int1))
The lion needs the lion.
("lion" "needs" "lion" "+")
int1
The lion is big.
("lion" "is" "big" "+")
((triple4 ((triple3 triple1) -> (rule4 % int2))) -> (rule2 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
int2