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