The bald eagle is not nice. The bald eagle is rough. The bear is nice. The bear visits the mouse. The mouse chases the squirrel. The mouse is nice. The mouse does not visit the bear. The squirrel does not chase the bald eagle. The squirrel does not chase the mouse. The squirrel visits the mouse. If something chases the squirrel and it visits the bald eagle then it chases the bald eagle. If something is nice then it chases the bald eagle. If something is cold and it eats the bald eagle then the bald eagle is not red. If something is rough and red then it does not visit the squirrel. If the squirrel is nice then the squirrel does not chase the mouse. If something is rough then it eats the mouse. If something chases the bald eagle then it chases the bear. If the mouse eats the bear and the mouse visits the squirrel then the mouse does not visit the bear.
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something chases the squirrel and it visits the bald eagle then it chases the bald eagle.
((("something" "chases" "squirrel" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is nice then it chases the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is cold and it eats the bald eagle then the bald eagle is not red.
((("something" "is" "cold" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "red" "-"))
If something is rough and red then it does not visit the squirrel.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "visits" "squirrel" "-"))
If the squirrel is nice then the squirrel does not chase the mouse.
((("squirrel" "is" "nice" "+")) -> ("squirrel" "chases" "mouse" "-"))
If something is rough then it eats the mouse.
((("something" "is" "rough" "+")) -> ("something" "eats" "mouse" "+"))
If something chases the bald eagle then it chases the bear.
((("something" "chases" "bald eagle" "+")) -> ("something" "chases" "bear" "+"))
If the mouse eats the bear and the mouse visits the squirrel then the mouse does not visit the bear.
((("mouse" "eats" "bear" "+") ("mouse" "visits" "squirrel" "+")) -> ("mouse" "visits" "bear" "-"))
The squirrel does not chase the mouse.
True
1
proof
[(triple9)]
("squirrel" "chases" "mouse" "-")
triple9
The squirrel does not visit the mouse.
False
1
inv-proof
[(triple10)]
("squirrel" "visits" "mouse" "-")
triple10
The bear chases the bald eagle.
True
2
proof
[(((triple3) -> rule2))]
("bear" "chases" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The bald eagle does not eat the mouse.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "eats" "mouse" "-")
((triple2) -> (rule6 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The mouse chases the bear.
True
3
proof
[(((((triple6) -> rule2)) -> rule7))]
("mouse" "chases" "bear" "+")
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The mouse does not chase the bear.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule7))]
("mouse" "chases" "bear" "-")
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2
The bear does not eat the mouse.
Unknown
inv-rconc
[@1: The bear eats the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "eats" "mouse" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The squirrel does not eat the mouse.
Unknown
inv-rconc
[@1: The squirrel eats the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "eats" "mouse" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The bald eagle visits the bear.
Unknown
random
[@0: The bald eagle visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bear" "+")
@0: The bald eagle is not nice.[(triple1)] The bald eagle is rough.[(triple2)] The bear is nice.[(triple3)] The bear visits the mouse.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse does not visit the bear.[(triple7)] The mouse is nice.[(triple6)] The squirrel does not chase the bald eagle.[(triple8)] The squirrel does not chase the mouse.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The bald eagle eats the mouse.[(((triple2) -> rule6))] The bear chases the bald eagle.[(((triple3) -> rule2))] The mouse chases the bald eagle.[(((triple6) -> rule2))] @2: The bear chases the bear.[(((((triple3) -> rule2)) -> rule7))] The mouse chases the bear.[(((((triple6) -> rule2)) -> rule7))]
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple4
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple5
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The squirrel does not chase the bald eagle.
("squirrel" "chases" "bald eagle" "-")
triple8
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
triple9
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple10
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((triple2) -> (rule6 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
((triple3) -> (rule2 % int1))
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
((((triple3) -> (rule2 % int2))) -> (rule7 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
int2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((((triple6) -> (rule2 % int2))) -> (rule7 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
int2