The bald eagle likes the rabbit. The lion chases the bald eagle. The rabbit is round. If something is round then it likes the bald eagle. If something chases the rabbit and it chases the lion then the lion likes the bald eagle.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If something is round then it likes the bald eagle.
((("something" "is" "round" "+")) -> ("something" "likes" "bald eagle" "+"))
If something chases the rabbit and it chases the lion then the lion likes the bald eagle.
((("something" "chases" "rabbit" "+") ("something" "chases" "lion" "+")) -> ("lion" "likes" "bald eagle" "+"))
The bald eagle likes the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "likes" "rabbit" "+")
triple1
The bald eagle does not like the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "rabbit" "-")
triple1
The rabbit likes the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "likes" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The rabbit does not like the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "likes" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The lion likes the bald eagle.
Unknown
rconc
[@1: The lion likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "bald eagle" "+")
The rabbit does not chase the lion.
Unknown
inv-random
[@0: The rabbit chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The lion chases the bald eagle.[(triple2)] The rabbit is round.[(triple3)] @1: The rabbit likes the bald eagle.[(((triple3) -> rule1))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple2
The rabbit is round.
("rabbit" "is" "round" "+")
triple3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1