The bald eagle eats the mouse. The bald eagle does not need the mouse. The mouse likes the bald eagle. If someone eats the mouse then they do not like the bald eagle. If someone is green then they need the mouse.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
If someone eats the mouse then they do not like the bald eagle.
((("someone" "eats" "mouse" "+")) -> ("someone" "likes" "bald eagle" "-"))
If someone is green then they need the mouse.
((("someone" "is" "green" "+")) -> ("someone" "needs" "mouse" "+"))
The bald eagle does not need the mouse.
True
1
proof
[(triple2)]
("bald eagle" "needs" "mouse" "-")
triple2
The mouse does not like the bald eagle.
False
1
inv-proof
[(triple3)]
("mouse" "likes" "bald eagle" "-")
triple3
The bald eagle does not like the bald eagle.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "likes" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
int1
The bald eagle likes the bald eagle.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
int1
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 bald eagle likes the mouse.
Unknown
random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The mouse needs the bald eagle.
Unknown
random
[@0: The mouse needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bald eagle" "+")
@0: The bald eagle does not need the mouse.[(triple2)] The bald eagle eats the mouse.[(triple1)] The mouse likes the bald eagle.[(triple3)] @1: The bald eagle does not like the bald eagle.[(((triple1) -> rule1))]
The bald eagle does not need the mouse.
("bald eagle" "needs" "mouse" "-")
triple2
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple3
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
((triple1) -> (rule1 % int1))
The bald eagle does not like the bald eagle.
("bald eagle" "likes" "bald eagle" "-")
int1