The bald eagle does not eat the cow. The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle does not need the cow. The bald eagle needs the squirrel. The bald eagle visits the cow. The bald eagle visits the squirrel. The cow eats the squirrel. The cow visits the bald eagle. The cow visits the squirrel. The squirrel eats the cow. The squirrel visits the cow. If something eats the bald eagle and the bald eagle does not eat the cow then the bald eagle is round. If something visits the squirrel and it needs the squirrel then it eats the squirrel. If the bald eagle does not visit the squirrel then the squirrel eats the cow. If something visits the squirrel then the squirrel eats the bald eagle. If the bald eagle is rough and the bald eagle visits the cow then the cow is rough. If something is round then it visits the bald eagle.
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something eats the bald eagle and the bald eagle does not eat the cow then the bald eagle is round.
((("something" "eats" "bald eagle" "+") ("bald eagle" "eats" "cow" "~")) -> ("bald eagle" "is" "round" "+"))
If something visits the squirrel and it needs the squirrel then it eats the squirrel.
((("something" "visits" "squirrel" "+") ("something" "needs" "squirrel" "+")) -> ("something" "eats" "squirrel" "+"))
If the bald eagle does not visit the squirrel then the squirrel eats the cow.
((("bald eagle" "visits" "squirrel" "~")) -> ("squirrel" "eats" "cow" "+"))
If something visits the squirrel then the squirrel eats the bald eagle.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If the bald eagle is rough and the bald eagle visits the cow then the cow is rough.
((("bald eagle" "is" "rough" "+") ("bald eagle" "visits" "cow" "+")) -> ("cow" "is" "rough" "+"))
If something is round then it visits the bald eagle.
((("something" "is" "round" "+")) -> ("something" "visits" "bald eagle" "+"))
The squirrel visits the cow.
True
1
proof
[(triple16)]
("squirrel" "visits" "cow" "+")
triple16
The bald eagle does not visit the cow.
False
1
inv-proof
[(triple10)]
("bald eagle" "visits" "cow" "-")
triple10
The bald eagle visits the bald eagle.
True
2
proof
[(((triple7) -> rule6) OR ((((((triple11) -> rule4) triple1) -> rule1)) -> rule6) OR ((((((triple14) -> rule4) triple1) -> rule1)) -> rule6))]
("bald eagle" "visits" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((((((triple11) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
((((((triple14) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The bald eagle does not visit the bald eagle.
False
2
inv-proof
[(((triple7) -> rule6) OR ((((((triple11) -> rule4) triple1) -> rule1)) -> rule6) OR ((((((triple14) -> rule4) triple1) -> rule1)) -> rule6))]
("bald eagle" "visits" "bald eagle" "-")
((triple7) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((((((triple11) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
((((((triple14) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel visits the bald eagle.
Unknown
rconc
[@1: The squirrel visits the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "bald eagle" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cow eats the bald eagle.
Unknown
random
[@0: The cow eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bald eagle" "+")
@0: The bald eagle does not eat the cow.[(triple1)] The bald eagle does not need the cow.[(triple8)] The bald eagle eats the squirrel.[(triple2 OR ((triple11 triple9) -> rule2))] The bald eagle is big.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle is round.[(triple7 OR ((((triple11) -> rule4) triple1) -> rule1) OR ((((triple14) -> rule4) triple1) -> rule1))] The bald eagle needs the squirrel.[(triple9)] The bald eagle visits the cow.[(triple10)] The bald eagle visits the squirrel.[(triple11)] The cow eats the squirrel.[(triple12)] The cow visits the bald eagle.[(triple13)] The cow visits the squirrel.[(triple14)] The squirrel eats the cow.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The bald eagle visits the bald eagle.[(((triple7) -> rule6) OR ((((((triple11) -> rule4) triple1) -> rule1)) -> rule6) OR ((((((triple14) -> rule4) triple1) -> rule1)) -> rule6))] The cow is rough.[(((triple6 triple10) -> rule5))] The squirrel eats the bald eagle.[(((triple11) -> rule4) OR ((triple14) -> rule4))]
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
triple1
The bald eagle does not need the cow.
("bald eagle" "needs" "cow" "-")
triple8
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
((triple11 triple9) -> (rule2 % int1))
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
int1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple5
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple6
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple7
((((triple11) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
((((triple14) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int2
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple9
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple10
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple11
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple12
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple13
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple14
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple15
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple16
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((triple7) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
((((((triple11) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
((((((triple14) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int3
The cow is rough.
("cow" "is" "rough" "+")
((triple6 triple10) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
((triple11) -> (rule4 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1
((triple14) -> (rule4 % int1))
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
int1