The bald eagle needs the tiger. The tiger sees the bald eagle. If something visits the bald eagle then the bald eagle sees the tiger. If something visits the bald eagle then the bald eagle sees the tiger. If the tiger needs the bald eagle and the bald eagle does not need the tiger then the bald eagle sees the tiger. If the bald eagle is kind then the bald eagle is young. If something needs the tiger and it visits the bald eagle then the tiger visits the bald eagle. If something needs the tiger then the tiger does not visit the bald eagle. If something sees the bald eagle and it is kind then it is not young. If something visits the bald eagle and the bald eagle sees the tiger then it does not see the bald eagle.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something visits the bald eagle then the bald eagle sees the tiger.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If something visits the bald eagle then the bald eagle sees the tiger.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "sees" "tiger" "+"))
If the tiger needs the bald eagle and the bald eagle does not need the tiger then the bald eagle sees the tiger.
((("tiger" "needs" "bald eagle" "+") ("bald eagle" "needs" "tiger" "~")) -> ("bald eagle" "sees" "tiger" "+"))
If the bald eagle is kind then the bald eagle is young.
((("bald eagle" "is" "kind" "+")) -> ("bald eagle" "is" "young" "+"))
If something needs the tiger and it visits the bald eagle then the tiger visits the bald eagle.
((("something" "needs" "tiger" "+") ("something" "visits" "bald eagle" "+")) -> ("tiger" "visits" "bald eagle" "+"))
If something needs the tiger then the tiger does not visit the bald eagle.
((("something" "needs" "tiger" "+")) -> ("tiger" "visits" "bald eagle" "-"))
If something sees the bald eagle and it is kind then it is not young.
((("something" "sees" "bald eagle" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "-"))
If something visits the bald eagle and the bald eagle sees the tiger then it does not see the bald eagle.
((("something" "visits" "bald eagle" "+") ("bald eagle" "sees" "tiger" "+")) -> ("something" "sees" "bald eagle" "-"))
The tiger sees the bald eagle.
True
1
proof
[(triple2)]
("tiger" "sees" "bald eagle" "+")
triple2
The bald eagle does not need the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "tiger" "-")
triple1
The bald eagle does not see the tiger.
Unknown
inv-rconc
[@1: The bald eagle sees the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "tiger" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The bald eagle needs the tiger.[(triple1)] The tiger sees the bald eagle.[(triple2)] @1: The tiger does not visit the bald eagle.[(((triple1) -> rule6))]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple2
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
((triple1) -> (rule6 % int1))
The tiger does not visit the bald eagle.
("tiger" "visits" "bald eagle" "-")
int1