The bald eagle is kind. The bald eagle likes the lion. The bald eagle sees the lion. The bald eagle does not visit the lion. The lion is nice. The lion likes the bald eagle. The lion sees the bald eagle. If someone is blue and they see the bald eagle then the bald eagle does not see the lion. If someone sees the lion then the lion is not cold. If the bald eagle is cold and the bald eagle sees the lion then the lion is not cold. If someone visits the bald eagle then the bald eagle visits the lion. If someone likes the lion and they are not blue then they are kind. Nice people are rough. If someone sees the bald eagle then they are rough. If someone is kind and they like the bald eagle then they visit the lion.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
If someone is blue and they see the bald eagle then the bald eagle does not see the lion.
((("someone" "is" "blue" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "lion" "-"))
If someone sees the lion then the lion is not cold.
((("someone" "sees" "lion" "+")) -> ("lion" "is" "cold" "-"))
If the bald eagle is cold and the bald eagle sees the lion then the lion is not cold.
((("bald eagle" "is" "cold" "+") ("bald eagle" "sees" "lion" "+")) -> ("lion" "is" "cold" "-"))
If someone visits the bald eagle then the bald eagle visits the lion.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "lion" "+"))
If someone likes the lion and they are not blue then they are kind.
((("someone" "likes" "lion" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "kind" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone sees the bald eagle then they are rough.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and they like the bald eagle then they visit the lion.
((("someone" "is" "kind" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "visits" "lion" "+"))
The bald eagle is kind.
True
1
proof
[(triple1)]
("bald eagle" "is" "kind" "+")
triple1
The lion is not nice.
False
1
inv-proof
[(triple5)]
("lion" "is" "nice" "-")
triple5
The lion is not kind.
Unknown
inv-rconc
[@1: The lion is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "kind" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The bald eagle does not visit the lion.[(triple4)] The bald eagle is kind.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion is nice.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion sees the bald eagle.[(triple7)] @1: The lion is not cold.[(((triple3) -> rule2))] The lion is rough.[(((triple5) -> rule6) OR ((triple7) -> rule7))]
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple6
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple7
The lion is not cold.
("lion" "is" "cold" "-")
((triple3) -> (rule2 % int1))
The lion is not cold.
("lion" "is" "cold" "-")
int1
The lion is rough.
("lion" "is" "rough" "+")
((triple5) -> (rule6 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
((triple7) -> (rule7 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1