The bald eagle does not chase the squirrel. The bald eagle is big. The bald eagle does not like the bear. The bald eagle visits the bear. The bear chases the bald eagle. The bear likes the bald eagle. The bear likes the mouse. The mouse does not chase the bear. The mouse visits the squirrel. The squirrel is big. The squirrel likes the mouse. The squirrel visits the bear. If the mouse is young and the mouse does not visit the squirrel then the squirrel visits the mouse. If the bear likes the mouse and the bald eagle does not chase the bear then the mouse is young. If something is green and it visits the squirrel then it chases the bald eagle. If something is round then it likes the squirrel. If something visits the bear and it visits the mouse then the bear does not chase the mouse. If something is blue and it visits the bald eagle then it chases the mouse. If something chases the bald eagle then the bald eagle visits the mouse. If something visits the bald eagle then it is big.
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The mouse does not chase the bear.
("mouse" "chases" "bear" "-")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If the mouse is young and the mouse does not visit the squirrel then the squirrel visits the mouse.
((("mouse" "is" "young" "+") ("mouse" "visits" "squirrel" "~")) -> ("squirrel" "visits" "mouse" "+"))
If the bear likes the mouse and the bald eagle does not chase the bear then the mouse is young.
((("bear" "likes" "mouse" "+") ("bald eagle" "chases" "bear" "~")) -> ("mouse" "is" "young" "+"))
If something is green and it visits the squirrel then it chases the bald eagle.
((("something" "is" "green" "+") ("something" "visits" "squirrel" "+")) -> ("something" "chases" "bald eagle" "+"))
If something is round then it likes the squirrel.
((("something" "is" "round" "+")) -> ("something" "likes" "squirrel" "+"))
If something visits the bear and it visits the mouse then the bear does not chase the mouse.
((("something" "visits" "bear" "+") ("something" "visits" "mouse" "+")) -> ("bear" "chases" "mouse" "-"))
If something is blue and it visits the bald eagle then it chases the mouse.
((("something" "is" "blue" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "chases" "mouse" "+"))
If something chases the bald eagle then the bald eagle visits the mouse.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If something visits the bald eagle then it is big.
((("something" "visits" "bald eagle" "+")) -> ("something" "is" "big" "+"))
The bald eagle does not like the bear.
True
1
proof
[(triple3)]
("bald eagle" "likes" "bear" "-")
triple3
The bald eagle is not big.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "big" "-")
triple2
The bald eagle visits the mouse.
True
2
proof
[(((triple5) -> rule7))]
("bald eagle" "visits" "mouse" "+")
((triple5) -> (rule7 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bald eagle does not visit the mouse.
False
2
inv-proof
[(((triple5) -> rule7))]
("bald eagle" "visits" "mouse" "-")
((triple5) -> (rule7 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bear does not chase the mouse.
True
4
proof
[(((triple4 ((triple5) -> rule7)) -> rule5))]
("bear" "chases" "mouse" "-")
((triple4 ((triple5) -> (rule7 % int2))) -> (rule5 % int1))
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bear chases the mouse.
False
4
inv-proof
[(((triple4 ((triple5) -> rule7)) -> rule5))]
("bear" "chases" "mouse" "+")
((triple4 ((triple5) -> (rule7 % int2))) -> (rule5 % int1))
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The bald eagle likes the squirrel.
Unknown
rconc
[@1: The bald eagle likes the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "likes" "squirrel" "+")
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The bear chases the squirrel.
Unknown
random
[@0: The bear chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "squirrel" "+")
@0: The bald eagle does not chase the squirrel.[(triple1)] The bald eagle does not like the bear.[(triple3)] The bald eagle is big.[(triple2)] The bald eagle visits the bear.[(triple4)] The bear chases the bald eagle.[(triple5)] The bear likes the bald eagle.[(triple6)] The bear likes the mouse.[(triple7)] The mouse does not chase the bear.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel is big.[(triple10)] The squirrel likes the mouse.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bald eagle visits the mouse.[(((triple5) -> rule7))] @2: The bear does not chase the mouse.[(((triple4 ((triple5) -> rule7)) -> rule5))]
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
triple1
The bald eagle does not like the bear.
("bald eagle" "likes" "bear" "-")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple5
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple6
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple7
The mouse does not chase the bear.
("mouse" "chases" "bear" "-")
triple8
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple11
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple12
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
((triple5) -> (rule7 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
((triple4 ((triple5) -> (rule7 % int2))) -> (rule5 % int1))
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2