The bald eagle eats the mouse. The bald eagle likes the dog. The dog eats the bald eagle. The dog is green. The dog likes the bald eagle. The dog sees the mouse. The mouse is big. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit sees the bald eagle. If someone is green and blue then they eat the rabbit. Round people are big. If someone is round and they eat the bald eagle then they like the dog. If someone is blue and not red then they are not green. If the bald eagle does not eat the mouse then the bald eagle does not like the mouse. If someone sees the rabbit then they do not like the mouse. If the mouse eats the bald eagle then the bald eagle sees the rabbit. If the dog is not big then the dog sees the bald eagle.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If someone is green and blue then they eat the rabbit.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "eats" "rabbit" "+"))
Round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and they eat the bald eagle then they like the dog.
((("someone" "is" "round" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "likes" "dog" "+"))
If someone is blue and not red then they are not green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "green" "-"))
If the bald eagle does not eat the mouse then the bald eagle does not like the mouse.
((("bald eagle" "eats" "mouse" "~")) -> ("bald eagle" "likes" "mouse" "-"))
If someone sees the rabbit then they do not like the mouse.
((("someone" "sees" "rabbit" "+")) -> ("someone" "likes" "mouse" "-"))
If the mouse eats the bald eagle then the bald eagle sees the rabbit.
((("mouse" "eats" "bald eagle" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If the dog is not big then the dog sees the bald eagle.
((("dog" "is" "big" "~")) -> ("dog" "sees" "bald eagle" "+"))
The dog is green.
True
1
proof
[(triple4)]
("dog" "is" "green" "+")
triple4
The mouse does not like the rabbit.
False
1
inv-proof
[(triple8)]
("mouse" "likes" "rabbit" "-")
triple8
The mouse does not like the mouse.
True
2
proof
[(((triple9) -> rule6))]
("mouse" "likes" "mouse" "-")
((triple9) -> (rule6 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1
The mouse likes the mouse.
False
2
inv-proof
[(((triple9) -> rule6))]
("mouse" "likes" "mouse" "+")
((triple9) -> (rule6 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1
The rabbit does not like the dog.
Unknown
inv-rconc
[@1: The rabbit likes the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "dog" "-")
The bald eagle eats the rabbit.
Unknown
rconc
[@1: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle likes the dog.[(triple2)] The dog eats the bald eagle.[(triple3)] The dog is green.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog sees the mouse.[(triple6)] The mouse is big.[(triple7)] The mouse likes the rabbit.[(triple8)] The mouse sees the rabbit.[(triple9)] The rabbit sees the bald eagle.[(triple10)] @1: The mouse does not like the mouse.[(((triple9) -> rule6))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple5
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple6
The mouse is big.
("mouse" "is" "big" "+")
triple7
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple8
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple9
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple10
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
((triple9) -> (rule6 % int1))
The mouse does not like the mouse.
("mouse" "likes" "mouse" "-")
int1