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