The bald eagle needs the cat. The bald eagle does not visit the cat. The cat is kind. If something needs the bald eagle and the bald eagle does not need the cat then the bald eagle does not visit the cat. If something needs the cat and the cat does not like the bald eagle then the cat visits the bald eagle. If something needs the cat then the cat is not green.
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
The cat is kind.
("cat" "is" "kind" "+")
If something needs the bald eagle and the bald eagle does not need the cat then the bald eagle does not visit the cat.
((("something" "needs" "bald eagle" "+") ("bald eagle" "needs" "cat" "~")) -> ("bald eagle" "visits" "cat" "-"))
If something needs the cat and the cat does not like the bald eagle then the cat visits the bald eagle.
((("something" "needs" "cat" "+") ("cat" "likes" "bald eagle" "~")) -> ("cat" "visits" "bald eagle" "+"))
If something needs the cat then the cat is not green.
((("something" "needs" "cat" "+")) -> ("cat" "is" "green" "-"))
The bald eagle does not visit the cat.
True
1
proof
[(triple2)]
("bald eagle" "visits" "cat" "-")
triple2
The bald eagle does not need the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "cat" "-")
triple1
The cat is not green.
True
2
proof
[(((triple1) -> rule3))]
("cat" "is" "green" "-")
((triple1) -> (rule3 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat is green.
False
2
inv-proof
[(((triple1) -> rule3))]
("cat" "is" "green" "+")
((triple1) -> (rule3 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1
The cat does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cat visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The bald eagle does not visit the cat.[(triple2)] The bald eagle needs the cat.[(triple1)] The cat is kind.[(triple3)] @1: The cat is not green.[(((triple1) -> rule3))]
The bald eagle does not visit the cat.
("bald eagle" "visits" "cat" "-")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is not green.
("cat" "is" "green" "-")
((triple1) -> (rule3 % int1))
The cat is not green.
("cat" "is" "green" "-")
int1