The bald eagle visits the mouse. The lion needs the squirrel. The lion does not see the mouse. The mouse is kind. The mouse does not need the bald eagle. The squirrel is round. The squirrel needs the lion. The squirrel sees the bald eagle. The squirrel sees the mouse. The squirrel visits the mouse. If someone is rough then they are not round. If someone sees the lion then they do not visit the mouse. If someone sees the mouse and they need the squirrel then the mouse is not green. If someone visits the mouse and they need the lion then the lion is rough. If someone is kind and not rough then they need the mouse. If the lion needs the mouse then the lion is not kind.
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The lion does not see the mouse.
("lion" "sees" "mouse" "-")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If someone is rough then they are not round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "-"))
If someone sees the lion then they do not visit the mouse.
((("someone" "sees" "lion" "+")) -> ("someone" "visits" "mouse" "-"))
If someone sees the mouse and they need the squirrel then the mouse is not green.
((("someone" "sees" "mouse" "+") ("someone" "needs" "squirrel" "+")) -> ("mouse" "is" "green" "-"))
If someone visits the mouse and they need the lion then the lion is rough.
((("someone" "visits" "mouse" "+") ("someone" "needs" "lion" "+")) -> ("lion" "is" "rough" "+"))
If someone is kind and not rough then they need the mouse.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "~")) -> ("someone" "needs" "mouse" "+"))
If the lion needs the mouse then the lion is not kind.
((("lion" "needs" "mouse" "+")) -> ("lion" "is" "kind" "-"))
The mouse does not need the bald eagle.
True
1
proof
[(triple5)]
("mouse" "needs" "bald eagle" "-")
triple5
The mouse is not kind.
False
1
inv-proof
[(triple4)]
("mouse" "is" "kind" "-")
triple4
The lion is rough.
True
3
proof
[(((triple10 triple7) -> rule4))]
("lion" "is" "rough" "+")
((triple10 triple7) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not rough.
False
3
inv-proof
[(((triple10 triple7) -> rule4))]
("lion" "is" "rough" "-")
((triple10 triple7) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not round.
True
4
proof
[(((((triple10 triple7) -> rule4)) -> rule1))]
("lion" "is" "round" "-")
((((triple10 triple7) -> (rule4 % int2))) -> (rule1 % int1))
The lion is not round.
("lion" "is" "round" "-")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The lion is round.
False
4
inv-proof
[(((((triple10 triple7) -> rule4)) -> rule1))]
("lion" "is" "round" "+")
((((triple10 triple7) -> (rule4 % int2))) -> (rule1 % int1))
The lion is not round.
("lion" "is" "round" "-")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2
The mouse does not need the mouse.
Unknown
inv-rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The squirrel needs the mouse.
Unknown
rconc
[@1: The squirrel needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "needs" "mouse" "+")
The bald eagle does not need the mouse.
Unknown
inv-rconc
[@1: The bald eagle needs the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "mouse" "-")
The mouse sees the bald eagle.
Unknown
random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The mouse needs the lion.
Unknown
random
[@0: The mouse needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "lion" "+")
@0: The bald eagle visits the mouse.[(triple1)] The lion does not see the mouse.[(triple3)] The lion needs the squirrel.[(triple2)] The mouse does not need the bald eagle.[(triple5)] The mouse is kind.[(triple4)] The squirrel is round.[(triple6)] The squirrel needs the lion.[(triple7)] The squirrel sees the bald eagle.[(triple8)] The squirrel sees the mouse.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The lion is rough.[(((triple10 triple7) -> rule4))] @2: The lion is not round.[(((((triple10 triple7) -> rule4)) -> rule1))]
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple1
The lion does not see the mouse.
("lion" "sees" "mouse" "-")
triple3
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple2
The mouse does not need the bald eagle.
("mouse" "needs" "bald eagle" "-")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple6
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple7
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple8
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple9
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple10
The lion is rough.
("lion" "is" "rough" "+")
((triple10 triple7) -> (rule4 % int1))
The lion is rough.
("lion" "is" "rough" "+")
int1
The lion is not round.
("lion" "is" "round" "-")
((((triple10 triple7) -> (rule4 % int2))) -> (rule1 % int1))
The lion is not round.
("lion" "is" "round" "-")
int1
The lion is rough.
("lion" "is" "rough" "+")
int2