The bald eagle sees the tiger. The mouse sees the tiger. The tiger does not eat the bald eagle. If someone sees the bald eagle and they are not big then they do not eat the tiger. If someone eats the mouse then the mouse does not see the tiger. If someone sees the bald eagle and they do not eat the bald eagle then the bald eagle is not kind. If someone sees the tiger and the tiger chases the bald eagle then they do not chase the mouse. If the bald eagle is kind and the bald eagle does not see the mouse then the bald eagle sees the tiger. If someone eats the bald eagle then the bald eagle chases the tiger.
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
If someone sees the bald eagle and they are not big then they do not eat the tiger.
((("someone" "sees" "bald eagle" "+") ("someone" "is" "big" "~")) -> ("someone" "eats" "tiger" "-"))
If someone eats the mouse then the mouse does not see the tiger.
((("someone" "eats" "mouse" "+")) -> ("mouse" "sees" "tiger" "-"))
If someone sees the bald eagle and they do not eat the bald eagle then the bald eagle is not kind.
((("someone" "sees" "bald eagle" "+") ("someone" "eats" "bald eagle" "~")) -> ("bald eagle" "is" "kind" "-"))
If someone sees the tiger and the tiger chases the bald eagle then they do not chase the mouse.
((("someone" "sees" "tiger" "+") ("tiger" "chases" "bald eagle" "+")) -> ("someone" "chases" "mouse" "-"))
If the bald eagle is kind and the bald eagle does not see the mouse then the bald eagle sees the tiger.
((("bald eagle" "is" "kind" "+") ("bald eagle" "sees" "mouse" "~")) -> ("bald eagle" "sees" "tiger" "+"))
If someone eats the bald eagle then the bald eagle chases the tiger.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
The tiger does not eat the bald eagle.
True
1
proof
[(triple3)]
("tiger" "eats" "bald eagle" "-")
triple3
The bald eagle does not see the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "tiger" "-")
triple1
The bald eagle does not chase the tiger.
Unknown
inv-rconc
[@1: The bald eagle chases the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "tiger" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The bald eagle sees the tiger.[(triple1)] The mouse sees the tiger.[(triple2)] The tiger does not eat the bald eagle.[(triple3)]
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple1
The mouse sees the tiger.
("mouse" "sees" "tiger" "+")
triple2
The tiger does not eat the bald eagle.
("tiger" "eats" "bald eagle" "-")
triple3