The bald eagle does not chase the mouse. The bald eagle does not eat the mouse. The bald eagle is big. The bald eagle is young. The mouse chases the rabbit. The mouse eats the rabbit. The rabbit eats the mouse. If something is young and it eats the mouse then it does not need the mouse. If something chases the rabbit then it is young. If something chases the rabbit then it is blue. If something eats the rabbit then it is blue. If something chases the bald eagle and the bald eagle does not eat the rabbit then the rabbit eats the bald eagle. If something is young then it needs the rabbit. If the rabbit chases the mouse then the rabbit is big. If something is blue and it does not eat the bald eagle then the bald eagle is not big.
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
If something is young and it eats the mouse then it does not need the mouse.
((("something" "is" "young" "+") ("something" "eats" "mouse" "+")) -> ("something" "needs" "mouse" "-"))
If something chases the rabbit then it is young.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "young" "+"))
If something chases the rabbit then it is blue.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "blue" "+"))
If something eats the rabbit then it is blue.
((("something" "eats" "rabbit" "+")) -> ("something" "is" "blue" "+"))
If something chases the bald eagle and the bald eagle does not eat the rabbit then the rabbit eats the bald eagle.
((("something" "chases" "bald eagle" "+") ("bald eagle" "eats" "rabbit" "~")) -> ("rabbit" "eats" "bald eagle" "+"))
If something is young then it needs the rabbit.
((("something" "is" "young" "+")) -> ("something" "needs" "rabbit" "+"))
If the rabbit chases the mouse then the rabbit is big.
((("rabbit" "chases" "mouse" "+")) -> ("rabbit" "is" "big" "+"))
If something is blue and it does not eat the bald eagle then the bald eagle is not big.
((("something" "is" "blue" "+") ("something" "eats" "bald eagle" "~")) -> ("bald eagle" "is" "big" "-"))
The bald eagle is young.
True
1
proof
[(triple4)]
("bald eagle" "is" "young" "+")
triple4
The bald eagle is not big.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "big" "-")
triple3
The mouse is blue.
True
2
proof
[(((triple5) -> rule3) OR ((triple6) -> rule4))]
("mouse" "is" "blue" "+")
((triple5) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
((triple6) -> (rule4 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is not young.
False
2
inv-proof
[(((triple5) -> rule2))]
("mouse" "is" "young" "-")
((triple5) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse needs the rabbit.
True
3
proof
[(((((triple5) -> rule2)) -> rule6))]
("mouse" "needs" "rabbit" "+")
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse does not need the rabbit.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule6))]
("mouse" "needs" "rabbit" "-")
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "young" "-")
The rabbit eats the bald eagle.
Unknown
rconc
[@1: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "eats" "bald eagle" "+")
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@2: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The rabbit does not chase the mouse.
Unknown
inv-random
[@0: The rabbit chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "mouse" "-")
The rabbit chases the bald eagle.
Unknown
random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "+")
@0: The bald eagle does not chase the mouse.[(triple1)] The bald eagle does not eat the mouse.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is young.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse eats the rabbit.[(triple6)] The rabbit eats the mouse.[(triple7)] @1: The bald eagle needs the rabbit.[(((triple4) -> rule6))] The mouse is blue.[(((triple5) -> rule3) OR ((triple6) -> rule4))] The mouse is young.[(((triple5) -> rule2))] @2: The mouse needs the rabbit.[(((((triple5) -> rule2)) -> rule6))]
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
triple1
The bald eagle does not eat the mouse.
("bald eagle" "eats" "mouse" "-")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple5
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple6
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple7
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
((triple4) -> (rule6 % int1))
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((triple5) -> (rule3 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
((triple6) -> (rule4 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
((triple5) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2