The bald eagle is nice. The lion likes the bald eagle. The rabbit is young. If the bald eagle visits the rabbit then the rabbit needs the bald eagle. If the rabbit is young and the rabbit visits the bald eagle then the bald eagle is cold. If someone visits the rabbit and they are kind then the rabbit needs the bald eagle. If the bald eagle is kind then the bald eagle is cold. If someone needs the lion and they visit the lion then the lion visits the rabbit. If someone is green and they like the lion then the lion needs the bald eagle. If someone visits the lion and they visit the bald eagle then they like the rabbit. If someone likes the bald eagle then they need the rabbit.
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
If the bald eagle visits the rabbit then the rabbit needs the bald eagle.
((("bald eagle" "visits" "rabbit" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
If the rabbit is young and the rabbit visits the bald eagle then the bald eagle is cold.
((("rabbit" "is" "young" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone visits the rabbit and they are kind then the rabbit needs the bald eagle.
((("someone" "visits" "rabbit" "+") ("someone" "is" "kind" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
If the bald eagle is kind then the bald eagle is cold.
((("bald eagle" "is" "kind" "+")) -> ("bald eagle" "is" "cold" "+"))
If someone needs the lion and they visit the lion then the lion visits the rabbit.
((("someone" "needs" "lion" "+") ("someone" "visits" "lion" "+")) -> ("lion" "visits" "rabbit" "+"))
If someone is green and they like the lion then the lion needs the bald eagle.
((("someone" "is" "green" "+") ("someone" "likes" "lion" "+")) -> ("lion" "needs" "bald eagle" "+"))
If someone visits the lion and they visit the bald eagle then they like the rabbit.
((("someone" "visits" "lion" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the bald eagle then they need the rabbit.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "needs" "rabbit" "+"))
The lion likes the bald eagle.
True
1
proof
[(triple2)]
("lion" "likes" "bald eagle" "+")
triple2
The rabbit is not young.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "young" "-")
triple3
The lion needs the rabbit.
True
2
proof
[(((triple2) -> rule8))]
("lion" "needs" "rabbit" "+")
((triple2) -> (rule8 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
The lion does not need the rabbit.
False
2
inv-proof
[(((triple2) -> rule8))]
("lion" "needs" "rabbit" "-")
((triple2) -> (rule8 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The bald eagle needs the rabbit.
Unknown
rconc
[@1: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "needs" "rabbit" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle is nice.[(triple1)] The lion likes the bald eagle.[(triple2)] The rabbit is young.[(triple3)] @1: The lion needs the rabbit.[(((triple2) -> rule8))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple2
The rabbit is young.
("rabbit" "is" "young" "+")
triple3
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
((triple2) -> (rule8 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1