The bald eagle needs the tiger. The rabbit does not like the bald eagle. The tiger needs the rabbit. If something needs the rabbit then the rabbit is not green. If something needs the bald eagle and the bald eagle is red then the bald eagle does not see the tiger.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If something needs the rabbit then the rabbit is not green.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "green" "-"))
If something needs the bald eagle and the bald eagle is red then the bald eagle does not see the tiger.
((("something" "needs" "bald eagle" "+") ("bald eagle" "is" "red" "+")) -> ("bald eagle" "sees" "tiger" "-"))
The tiger needs the rabbit.
True
1
proof
[(triple3)]
("tiger" "needs" "rabbit" "+")
triple3
The rabbit likes the bald eagle.
False
1
inv-proof
[(triple2)]
("rabbit" "likes" "bald eagle" "+")
triple2
The rabbit is not green.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "is" "green" "-")
((triple3) -> (rule1 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1
The rabbit is green.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "is" "green" "+")
((triple3) -> (rule1 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The bald eagle likes the tiger.
Unknown
random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "+")
@0: The bald eagle needs the tiger.[(triple1)] The rabbit does not like the bald eagle.[(triple2)] The tiger needs the rabbit.[(triple3)] @1: The rabbit is not green.[(((triple3) -> rule1))]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
triple2
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple3
The rabbit is not green.
("rabbit" "is" "green" "-")
((triple3) -> (rule1 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1