The bald eagle needs the tiger. The cow is not kind. The rabbit does not chase the cow. The tiger chases the rabbit. If the cow sees the bald eagle and the cow needs the tiger then the tiger sees the cow. If someone needs the cow and they are cold then the cow is not kind. If someone chases the rabbit and the rabbit needs the bald eagle then the rabbit is not cold. If someone chases the rabbit then they chase the bald eagle. If someone is red then they do not need the bald eagle. If someone is kind then they see the bald eagle.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cow is not kind.
("cow" "is" "kind" "-")
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
If the cow sees the bald eagle and the cow needs the tiger then the tiger sees the cow.
((("cow" "sees" "bald eagle" "+") ("cow" "needs" "tiger" "+")) -> ("tiger" "sees" "cow" "+"))
If someone needs the cow and they are cold then the cow is not kind.
((("someone" "needs" "cow" "+") ("someone" "is" "cold" "+")) -> ("cow" "is" "kind" "-"))
If someone chases the rabbit and the rabbit needs the bald eagle then the rabbit is not cold.
((("someone" "chases" "rabbit" "+") ("rabbit" "needs" "bald eagle" "+")) -> ("rabbit" "is" "cold" "-"))
If someone chases the rabbit then they chase the bald eagle.
((("someone" "chases" "rabbit" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is red then they do not need the bald eagle.
((("someone" "is" "red" "+")) -> ("someone" "needs" "bald eagle" "-"))
If someone is kind then they see the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "bald eagle" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple1)]
("bald eagle" "needs" "tiger" "+")
triple1
The bald eagle does not need the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "tiger" "-")
triple1
The bald eagle does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The bald eagle needs the rabbit.
Unknown
random
[@0: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "rabbit" "+")
@0: The bald eagle needs the tiger.[(triple1)] The cow is not kind.[(triple2)] The rabbit does not chase the cow.[(triple3)] The tiger chases the rabbit.[(triple4)] @1: The tiger chases the bald eagle.[(((triple4) -> rule4))]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The cow is not kind.
("cow" "is" "kind" "-")
triple2
The rabbit does not chase the cow.
("rabbit" "chases" "cow" "-")
triple3
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple4
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((triple4) -> (rule4 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1