The bald eagle is cold. The bald eagle does not like the lion. The bear is not big. The bear visits the lion. The lion is red. The lion likes the bald eagle. The lion does not like the bear. The lion visits the bald eagle. The rabbit is big. The rabbit likes the bald eagle. If the bald eagle is kind and the bald eagle does not chase the rabbit then the bald eagle visits the bear. If someone likes the bald eagle and they visit the bald eagle then the bald eagle does not chase the bear.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
The bear is not big.
("bear" "is" "big" "-")
The bear visits the lion.
("bear" "visits" "lion" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If the bald eagle is kind and the bald eagle does not chase the rabbit then the bald eagle visits the bear.
((("bald eagle" "is" "kind" "+") ("bald eagle" "chases" "rabbit" "~")) -> ("bald eagle" "visits" "bear" "+"))
If someone likes the bald eagle and they visit the bald eagle then the bald eagle does not chase the bear.
((("someone" "likes" "bald eagle" "+") ("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "bear" "-"))
The lion does not like the bear.
True
1
proof
[(triple7)]
("lion" "likes" "bear" "-")
triple7
The bear is big.
False
1
inv-proof
[(triple3)]
("bear" "is" "big" "+")
triple3
The bald eagle does not visit the bear.
Unknown
inv-rconc
[@1: The bald eagle visits the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "bear" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle does not like the lion.[(triple2)] The bald eagle is cold.[(triple1)] The bear is not big.[(triple3)] The bear visits the lion.[(triple4)] The lion does not like the bear.[(triple7)] The lion is red.[(triple5)] The lion likes the bald eagle.[(triple6)] The lion visits the bald eagle.[(triple8)] The rabbit is big.[(triple9)] The rabbit likes the bald eagle.[(triple10)] @1: The bald eagle does not chase the bear.[(((triple6 triple8) -> rule2))]
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bear is not big.
("bear" "is" "big" "-")
triple3
The bear visits the lion.
("bear" "visits" "lion" "+")
triple4
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple7
The lion is red.
("lion" "is" "red" "+")
triple5
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple6
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple10
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
((triple6 triple8) -> (rule2 % int1))
The bald eagle does not chase the bear.
("bald eagle" "chases" "bear" "-")
int1