The bald eagle needs the mouse. The mouse needs the bald eagle. If someone likes the bald eagle then they are blue. If the mouse likes the bald eagle then the mouse is cold. If someone is cold and green then they visit the bald eagle. If someone is blue and they visit the mouse then the mouse likes the bald eagle. If someone needs the bald eagle then they like the bald eagle. If someone is nice then they are red.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If someone likes the bald eagle then they are blue.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "blue" "+"))
If the mouse likes the bald eagle then the mouse is cold.
((("mouse" "likes" "bald eagle" "+")) -> ("mouse" "is" "cold" "+"))
If someone is cold and green then they visit the bald eagle.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone is blue and they visit the mouse then the mouse likes the bald eagle.
((("someone" "is" "blue" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "likes" "bald eagle" "+"))
If someone needs the bald eagle then they like the bald eagle.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
The bald eagle needs the mouse.
True
1
proof
[(triple1)]
("bald eagle" "needs" "mouse" "+")
triple1
The bald eagle does not need the mouse.
False
1
inv-proof
[(triple1)]
("bald eagle" "needs" "mouse" "-")
triple1
The mouse likes the bald eagle.
True
2
proof
[(((triple2) -> rule5))]
("mouse" "likes" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse does not like the bald eagle.
False
2
inv-proof
[(((triple2) -> rule5))]
("mouse" "likes" "bald eagle" "-")
((triple2) -> (rule5 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse is blue.
True
3
proof
[(((((triple2) -> rule5)) -> rule1))]
("mouse" "is" "blue" "+")
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int2
The mouse is not blue.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule1))]
("mouse" "is" "blue" "-")
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int2
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 = (rule5 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is blue.
Unknown
rconc
[@2: The bald eagle is blue.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle needs the mouse.[(triple1)] The mouse needs the bald eagle.[(triple2)] @1: The mouse likes the bald eagle.[(((triple2) -> rule5))] @2: The mouse is blue.[(((((triple2) -> rule5)) -> rule1))] The mouse is cold.[(((((triple2) -> rule5)) -> rule2))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple2
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int2
The mouse is cold.
("mouse" "is" "cold" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
int2