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