The bald eagle needs the mouse. The cow is big. The mouse sees the bald eagle. If someone needs the mouse and the mouse needs the bald eagle then the bald eagle likes the cow. If someone needs the cow then they like the bald eagle. If someone needs the mouse then the mouse needs the bald eagle.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If someone needs the mouse and the mouse needs the bald eagle then the bald eagle likes the cow.
((("someone" "needs" "mouse" "+") ("mouse" "needs" "bald eagle" "+")) -> ("bald eagle" "likes" "cow" "+"))
If someone needs the cow then they like the bald eagle.
((("someone" "needs" "cow" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone needs the mouse then the mouse needs the bald eagle.
((("someone" "needs" "mouse" "+")) -> ("mouse" "needs" "bald eagle" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple3)]
("mouse" "sees" "bald eagle" "+")
triple3
The bald eagle does not need the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "mouse" "-")
triple1
The mouse needs the bald eagle.
True
2
proof
[(((triple1) -> rule3))]
("mouse" "needs" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse does not need the bald eagle.
False
2
inv-proof
[(((triple1) -> rule3))]
("mouse" "needs" "bald eagle" "-")
((triple1) -> (rule3 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle likes the cow.
True
4
proof
[(((triple1 ((triple1) -> rule3)) -> rule1))]
("bald eagle" "likes" "cow" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The bald eagle does not like the cow.
False
4
inv-proof
[(((triple1 ((triple1) -> rule3)) -> rule1))]
("bald eagle" "likes" "cow" "-")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse does not like the bald eagle.
Unknown
inv-rconc
[@1: The mouse likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "bald eagle" "-")
The cow likes the bald eagle.
Unknown
rconc
[@1: The cow likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The bald eagle is not kind.
Unknown
inv-random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle sees the cow.
Unknown
random
[@0: The bald eagle sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cow" "+")
@0: The bald eagle needs the mouse.[(triple1)] The cow is big.[(triple2)] The mouse sees the bald eagle.[(triple3)] @1: The mouse needs the bald eagle.[(((triple1) -> rule3))] @2: The bald eagle likes the cow.[(((triple1 ((triple1) -> rule3)) -> rule1))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple3
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2