The bald eagle likes the rabbit. The bald eagle visits the rabbit. The rabbit sees the bald eagle. If someone sees the rabbit and they are green then the rabbit is rough. If someone sees the rabbit and they see the bald eagle then the rabbit is blue.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone sees the rabbit and they are green then the rabbit is rough.
((("someone" "sees" "rabbit" "+") ("someone" "is" "green" "+")) -> ("rabbit" "is" "rough" "+"))
If someone sees the rabbit and they see the bald eagle then the rabbit is blue.
((("someone" "sees" "rabbit" "+") ("someone" "sees" "bald eagle" "+")) -> ("rabbit" "is" "blue" "+"))
The bald eagle likes the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "likes" "rabbit" "+")
triple1
The rabbit does not see the bald eagle.
False
1
inv-proof
[(triple3)]
("rabbit" "sees" "bald eagle" "-")
triple3
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The bald eagle visits the rabbit.[(triple2)] The rabbit sees the bald eagle.[(triple3)]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple3