The bald eagle does not need the mouse. The mouse is cold. The mouse sees the rabbit. The rabbit is cold. The rabbit is red. The rabbit does not need the mouse. The rabbit visits the mouse. If someone sees the bald eagle then the bald eagle does not visit the mouse. If someone is green then they see the mouse. If someone visits the mouse and they do not need the mouse then they see the bald eagle.
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone sees the bald eagle then the bald eagle does not visit the mouse.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "-"))
If someone is green then they see the mouse.
((("someone" "is" "green" "+")) -> ("someone" "sees" "mouse" "+"))
If someone visits the mouse and they do not need the mouse then they see the bald eagle.
((("someone" "visits" "mouse" "+") ("someone" "needs" "mouse" "~")) -> ("someone" "sees" "bald eagle" "+"))
The rabbit is cold.
True
1
proof
[(triple4)]
("rabbit" "is" "cold" "+")
triple4
The rabbit does not visit the mouse.
False
1
inv-proof
[(triple7)]
("rabbit" "visits" "mouse" "-")
triple7
The rabbit sees the bald eagle.
True
3
proof
[(((triple7 triple6) -> rule3))]
("rabbit" "sees" "bald eagle" "+")
((triple7 triple6) -> (rule3 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit does not see the bald eagle.
False
3
inv-proof
[(((triple7 triple6) -> rule3))]
("rabbit" "sees" "bald eagle" "-")
((triple7 triple6) -> (rule3 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle does not visit the mouse.
True
4
proof
[(((((triple7 triple6) -> rule3)) -> rule1))]
("bald eagle" "visits" "mouse" "-")
((((triple7 triple6) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The bald eagle visits the mouse.
False
4
inv-proof
[(((((triple7 triple6) -> rule3)) -> rule1))]
("bald eagle" "visits" "mouse" "+")
((((triple7 triple6) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2
The mouse does not see the bald eagle.
Unknown
inv-rconc
[@1: The mouse sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "sees" "bald eagle" "-")
The mouse sees the mouse.
Unknown
rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "sees" "mouse" "+")
The bald eagle does not see the mouse.
Unknown
inv-rconc
[@1: The bald eagle sees the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "mouse" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
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.[(triple1)] The mouse is cold.[(triple2)] The mouse sees the rabbit.[(triple3)] The rabbit does not need the mouse.[(triple6)] The rabbit is cold.[(triple4)] The rabbit is red.[(triple5)] The rabbit visits the mouse.[(triple7)] @1: The rabbit sees the bald eagle.[(((triple7 triple6) -> rule3))] @2: The bald eagle does not visit the mouse.[(((((triple7 triple6) -> rule3)) -> rule1))]
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
triple1
The mouse is cold.
("mouse" "is" "cold" "+")
triple2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple3
The rabbit does not need the mouse.
("rabbit" "needs" "mouse" "-")
triple6
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple7
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple7 triple6) -> (rule3 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
((((triple7 triple6) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
int1
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int2