The bald eagle likes the mouse. The bear sees the bald eagle. The cat needs the mouse. The mouse needs the bear. If someone needs the mouse then the mouse sees the bald eagle. If someone likes the bear and they like the mouse then the mouse is nice. If someone sees the bald eagle then they like the bald eagle. If the cat likes the bear and the bear is nice then the cat needs the bald eagle. If someone is round and they see the bald eagle then they see the bear. All big, round people are cold.
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
If someone needs the mouse then the mouse sees the bald eagle.
((("someone" "needs" "mouse" "+")) -> ("mouse" "sees" "bald eagle" "+"))
If someone likes the bear and they like the mouse then the mouse is nice.
((("someone" "likes" "bear" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If someone sees the bald eagle then they like the bald eagle.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the cat likes the bear and the bear is nice then the cat needs the bald eagle.
((("cat" "likes" "bear" "+") ("bear" "is" "nice" "+")) -> ("cat" "needs" "bald eagle" "+"))
If someone is round and they see the bald eagle then they see the bear.
((("someone" "is" "round" "+") ("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "bear" "+"))
All big, round people are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
The mouse needs the bear.
True
1
proof
[(triple4)]
("mouse" "needs" "bear" "+")
triple4
The bald eagle does not like the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "mouse" "-")
triple1
The mouse sees the bald eagle.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "sees" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The bear does not like the bald eagle.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "likes" "bald eagle" "-")
((triple2) -> (rule3 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The mouse likes the bald eagle.
True
3
proof
[(((((triple3) -> rule1)) -> rule3))]
("mouse" "likes" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The mouse does not like the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule3))]
("mouse" "likes" "bald eagle" "-")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2
The cat is not cold.
Unknown
inv-rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "cold" "-")
The cat likes the bald eagle.
Unknown
rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "bald eagle" "+")
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "nice" "-")
The bald eagle likes the cat.
Unknown
random
[@0: The bald eagle likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "cat" "+")
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 needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle likes the mouse.[(triple1)] The bear sees the bald eagle.[(triple2)] The cat needs the mouse.[(triple3)] The mouse needs the bear.[(triple4)] @1: The bear likes the bald eagle.[(((triple2) -> rule3))] The mouse sees the bald eagle.[(((triple3) -> rule1))] @2: The mouse likes the bald eagle.[(((((triple3) -> rule1)) -> rule3))]
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple2
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple3
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple4
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
((triple2) -> (rule3 % int1))
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
((triple3) -> (rule1 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int2