The bald eagle is round. The lion is cold. The mouse likes the lion. If something is cold then it likes the mouse. If the bald eagle is not young then the bald eagle is cold. If something is cold and it does not need the bald eagle then the bald eagle does not see the lion. If something likes the mouse then it likes the lion. If something is round and it sees the lion then it is big. If something needs the bald eagle and the bald eagle does not like the mouse then the mouse is red.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The lion is cold.
("lion" "is" "cold" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
If something is cold then it likes the mouse.
((("something" "is" "cold" "+")) -> ("something" "likes" "mouse" "+"))
If the bald eagle is not young then the bald eagle is cold.
((("bald eagle" "is" "young" "~")) -> ("bald eagle" "is" "cold" "+"))
If something is cold and it does not need the bald eagle then the bald eagle does not see the lion.
((("something" "is" "cold" "+") ("something" "needs" "bald eagle" "~")) -> ("bald eagle" "sees" "lion" "-"))
If something likes the mouse then it likes the lion.
((("something" "likes" "mouse" "+")) -> ("something" "likes" "lion" "+"))
If something is round and it sees the lion then it is big.
((("something" "is" "round" "+") ("something" "sees" "lion" "+")) -> ("something" "is" "big" "+"))
If something needs the bald eagle and the bald eagle does not like the mouse then the mouse is red.
((("something" "needs" "bald eagle" "+") ("bald eagle" "likes" "mouse" "~")) -> ("mouse" "is" "red" "+"))
The bald eagle is round.
True
1
proof
[(triple1)]
("bald eagle" "is" "round" "+")
triple1
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The lion likes the mouse.
True
2
proof
[(((triple2) -> rule1))]
("lion" "likes" "mouse" "+")
((triple2) -> (rule1 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion does not like the mouse.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "likes" "mouse" "-")
((triple2) -> (rule1 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The bald eagle does not like the lion.
Unknown
inv-rconc
[@3: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule2 <- FAIL)]]
("bald eagle" "likes" "lion" "-")
The lion is big.
Unknown
rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "big" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
The bald eagle needs the mouse.
Unknown
random
[@0: The bald eagle needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "mouse" "+")
@0: The bald eagle is round.[(triple1)] The lion is cold.[(triple2)] The mouse likes the lion.[(triple3)] @1: The lion likes the mouse.[(((triple2) -> rule1))] @2: The lion likes the lion.[(((((triple2) -> rule1)) -> rule4))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple3
The lion likes the mouse.
("lion" "likes" "mouse" "+")
((triple2) -> (rule1 % int1))
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion likes the mouse.
("lion" "likes" "mouse" "+")
int2