The bald eagle chases the lion. The bald eagle is big. The bald eagle is kind. The bald eagle is round. The bald eagle likes the lion. The bald eagle sees the lion. The lion sees the bald eagle. If something is rough and it sees the bald eagle then it likes the bald eagle. If something is kind then it sees the bald eagle. If something sees the lion then it is round. If the lion likes the bald eagle then the lion is kind. If something chases the lion and it is green then it likes the lion. If something is kind and it chases the lion then it sees the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If something is rough and it sees the bald eagle then it likes the bald eagle.
((("something" "is" "rough" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is kind then it sees the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "sees" "bald eagle" "+"))
If something sees the lion then it is round.
((("something" "sees" "lion" "+")) -> ("something" "is" "round" "+"))
If the lion likes the bald eagle then the lion is kind.
((("lion" "likes" "bald eagle" "+")) -> ("lion" "is" "kind" "+"))
If something chases the lion and it is green then it likes the lion.
((("something" "chases" "lion" "+") ("something" "is" "green" "+")) -> ("something" "likes" "lion" "+"))
If something is kind and it chases the lion then it sees the bald eagle.
((("something" "is" "kind" "+") ("something" "chases" "lion" "+")) -> ("something" "sees" "bald eagle" "+"))
The bald eagle is kind.
True
1
proof
[(triple3)]
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is not kind.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "kind" "-")
triple3
The bald eagle sees the bald eagle.
True
2
proof
[(((triple3) -> rule2) OR ((triple3 triple1) -> rule6))]
("bald eagle" "sees" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
((triple3 triple1) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle does not see the bald eagle.
False
2
inv-proof
[(((triple3) -> rule2) OR ((triple3 triple1) -> rule6))]
("bald eagle" "sees" "bald eagle" "-")
((triple3) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
((triple3 triple1) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The lion does not like the bald eagle.
Unknown
inv-rconc
[@1: The lion likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "bald eagle" "-")
The lion is kind.
Unknown
rconc
[@2: The lion is kind.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("lion" "is" "kind" "+")
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 lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is round.[(triple4 OR ((triple6) -> rule3))] The bald eagle likes the lion.[(triple5)] The bald eagle sees the lion.[(triple6)] The lion sees the bald eagle.[(triple7)] @1: The bald eagle sees the bald eagle.[(((triple3) -> rule2) OR ((triple3 triple1) -> rule6))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
((triple6) -> (rule3 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple5
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple6
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple7
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
((triple3 triple1) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1