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