The bald eagle likes the bear. The bald eagle visits the bear. The bear is young. If someone chases the bear then they are nice. If someone likes the bald eagle and the bald eagle is young then they visit the bear. If someone likes the bear and they visit the bald eagle then the bear is rough.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear is young.
("bear" "is" "young" "+")
If someone chases the bear then they are nice.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the bald eagle and the bald eagle is young then they visit the bear.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("someone" "visits" "bear" "+"))
If someone likes the bear and they visit the bald eagle then the bear is rough.
((("someone" "likes" "bear" "+") ("someone" "visits" "bald eagle" "+")) -> ("bear" "is" "rough" "+"))
The bald eagle visits the bear.
True
1
proof
[(triple2)]
("bald eagle" "visits" "bear" "+")
triple2
The bald eagle does not visit the bear.
False
1
inv-proof
[(triple2)]
("bald eagle" "visits" "bear" "-")
triple2
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle likes the bear.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear is young.[(triple3)]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3