The bald eagle is kind. The dog likes the bald eagle. The mouse is blue. If something is blue then it likes the bald eagle. If the bald eagle does not like the dog then the bald eagle is big. If something is big then it chases the dog.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
If something is blue then it likes the bald eagle.
((("something" "is" "blue" "+")) -> ("something" "likes" "bald eagle" "+"))
If the bald eagle does not like the dog then the bald eagle is big.
((("bald eagle" "likes" "dog" "~")) -> ("bald eagle" "is" "big" "+"))
If something is big then it chases the dog.
((("something" "is" "big" "+")) -> ("something" "chases" "dog" "+"))
The bald eagle is kind.
True
1
proof
[(triple1)]
("bald eagle" "is" "kind" "+")
triple1
The dog does not like the bald eagle.
False
1
inv-proof
[(triple2)]
("dog" "likes" "bald eagle" "-")
triple2
The mouse likes the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "likes" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse does not like the bald eagle.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "likes" "bald eagle" "-")
((triple3) -> (rule1 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@2: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The mouse chases the dog.
Unknown
rconc
[@1: The mouse chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "chases" "dog" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The mouse likes the dog.
Unknown
random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "+")
@0: The bald eagle is kind.[(triple1)] The dog likes the bald eagle.[(triple2)] The mouse is blue.[(triple3)] @1: The mouse likes the bald eagle.[(((triple3) -> rule1))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple2
The mouse is blue.
("mouse" "is" "blue" "+")
triple3
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1