The bald eagle chases the rabbit. The bald eagle likes the lion. The bald eagle sees the lion. The lion chases the rabbit. The lion likes the bald eagle. The lion sees the bald eagle. The rabbit chases the bald eagle. If someone chases the rabbit then they like the lion. If someone likes the bald eagle and they are young then the bald eagle sees the lion.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
If someone chases the rabbit then they like the lion.
((("someone" "chases" "rabbit" "+")) -> ("someone" "likes" "lion" "+"))
If someone likes the bald eagle and they are young then the bald eagle sees the lion.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "young" "+")) -> ("bald eagle" "sees" "lion" "+"))
The lion sees the bald eagle.
True
1
proof
[(triple6)]
("lion" "sees" "bald eagle" "+")
triple6
The lion does not like the bald eagle.
False
1
inv-proof
[(triple5)]
("lion" "likes" "bald eagle" "-")
triple5
The lion likes the lion.
True
2
proof
[(((triple4) -> rule1))]
("lion" "likes" "lion" "+")
((triple4) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion does not like the lion.
False
2
inv-proof
[(((triple4) -> rule1))]
("lion" "likes" "lion" "-")
((triple4) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The rabbit does not like the lion.
Unknown
inv-rconc
[@1: The rabbit likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "lion" "-")
The lion is young.
Unknown
random
[@0: The lion is young.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "young" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle likes the lion.[(triple2 OR ((triple1) -> rule1))] The bald eagle sees the lion.[(triple3)] The lion chases the rabbit.[(triple4)] The lion likes the bald eagle.[(triple5)] The lion sees the bald eagle.[(triple6)] The rabbit chases the bald eagle.[(triple7)] @1: The lion likes the lion.[(((triple4) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
((triple1) -> (rule1 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple4
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple5
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple6
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple7
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple4) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1