The bald eagle sees the tiger. The rabbit sees the bald eagle. The squirrel needs the bald eagle. The tiger needs the squirrel. If something needs the rabbit and it eats the bald eagle then the rabbit eats the bald eagle. If something is kind then it sees the tiger. If something needs the bald eagle and the bald eagle eats the rabbit then it eats the bald eagle.
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something needs the rabbit and it eats the bald eagle then the rabbit eats the bald eagle.
((("something" "needs" "rabbit" "+") ("something" "eats" "bald eagle" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
If something is kind then it sees the tiger.
((("something" "is" "kind" "+")) -> ("something" "sees" "tiger" "+"))
If something needs the bald eagle and the bald eagle eats the rabbit then it eats the bald eagle.
((("something" "needs" "bald eagle" "+") ("bald eagle" "eats" "rabbit" "+")) -> ("something" "eats" "bald eagle" "+"))
The rabbit sees the bald eagle.
True
1
proof
[(triple2)]
("rabbit" "sees" "bald eagle" "+")
triple2
The rabbit does not see the bald eagle.
False
1
inv-proof
[(triple2)]
("rabbit" "sees" "bald eagle" "-")
triple2
The squirrel does not see the tiger.
Unknown
inv-rconc
[@1: The squirrel sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "sees" "tiger" "-")
The tiger eats the rabbit.
Unknown
random
[@0: The tiger eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "rabbit" "+")
@0: The bald eagle sees the tiger.[(triple1)] The rabbit sees the bald eagle.[(triple2)] The squirrel needs the bald eagle.[(triple3)] The tiger needs the squirrel.[(triple4)]
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple2
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple3
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple4