The bald eagle is rough. The lion does not visit the mouse. The mouse does not visit the bald eagle. The tiger is not nice. If someone visits the tiger then they do not see the bald eagle. If someone is red then they see the bald eagle. If someone is nice then they see the bald eagle. If someone is round and rough then they see the mouse. If someone likes the mouse then the mouse sees the bald eagle. If someone sees the lion and they like the tiger then the lion does not see the bald eagle. If someone likes the bald eagle then the bald eagle is red. If someone visits the lion and they do not see the lion then the lion is round.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The lion does not visit the mouse.
("lion" "visits" "mouse" "-")
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
The tiger is not nice.
("tiger" "is" "nice" "-")
If someone visits the tiger then they do not see the bald eagle.
((("someone" "visits" "tiger" "+")) -> ("someone" "sees" "bald eagle" "-"))
If someone is red then they see the bald eagle.
((("someone" "is" "red" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is nice then they see the bald eagle.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is round and rough then they see the mouse.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "sees" "mouse" "+"))
If someone likes the mouse then the mouse sees the bald eagle.
((("someone" "likes" "mouse" "+")) -> ("mouse" "sees" "bald eagle" "+"))
If someone sees the lion and they like the tiger then the lion does not see the bald eagle.
((("someone" "sees" "lion" "+") ("someone" "likes" "tiger" "+")) -> ("lion" "sees" "bald eagle" "-"))
If someone likes the bald eagle then the bald eagle is red.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If someone visits the lion and they do not see the lion then the lion is round.
((("someone" "visits" "lion" "+") ("someone" "sees" "lion" "~")) -> ("lion" "is" "round" "+"))
The bald eagle is rough.
True
1
proof
[(triple1)]
("bald eagle" "is" "rough" "+")
triple1
The bald eagle is not rough.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "rough" "-")
triple1
The mouse does not see the bald eagle.
Unknown
inv-rconc
[@1: The mouse sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "sees" "bald eagle" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bald eagle is rough.[(triple1)] The lion does not visit the mouse.[(triple2)] The mouse does not visit the bald eagle.[(triple3)] The tiger is not nice.[(triple4)]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The lion does not visit the mouse.
("lion" "visits" "mouse" "-")
triple2
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
triple3
The tiger is not nice.
("tiger" "is" "nice" "-")
triple4