The bald eagle is cold. The bald eagle sees the mouse. The bear is nice. The bear needs the mouse. The bear sees the mouse. The mouse is not big. The rabbit needs the bald eagle. Cold people are round.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The mouse is not big.
("mouse" "is" "big" "-")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
Cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
The bear needs the mouse.
True
1
proof
[(triple4)]
("bear" "needs" "mouse" "+")
triple4
The bear does not need the mouse.
False
1
inv-proof
[(triple4)]
("bear" "needs" "mouse" "-")
triple4
The bald eagle is round.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "is" "round" "+")
((triple1) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is not round.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "is" "round" "-")
((triple1) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "round" "-")
The rabbit is round.
Unknown
rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "round" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The mouse needs the bear.
Unknown
random
[@0: The mouse needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bear" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bear is nice.[(triple3)] The bear needs the mouse.[(triple4)] The bear sees the mouse.[(triple5)] The mouse is not big.[(triple6)] The rabbit needs the bald eagle.[(triple7)] @1: The bald eagle is round.[(((triple1) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple5
The mouse is not big.
("mouse" "is" "big" "-")
triple6
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple7
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple1) -> (rule1 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1