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