The bald eagle sees the tiger. The mouse is not blue. The tiger is round. Round things are blue.
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The tiger is round.
("tiger" "is" "round" "+")
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
The bald eagle sees the tiger.
True
1
proof
[(triple1)]
("bald eagle" "sees" "tiger" "+")
triple1
The bald eagle does not see the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "sees" "tiger" "-")
triple1
The tiger is blue.
True
2
proof
[(((triple3) -> rule1))]
("tiger" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("tiger" "is" "blue" "-")
((triple3) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The bald eagle is not blue.
Unknown
inv-rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The mouse sees the tiger.
Unknown
random
[@0: The mouse sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "tiger" "+")
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
@0: The bald eagle sees the tiger.[(triple1)] The mouse is not blue.[(triple2)] The tiger is round.[(triple3)] @1: The tiger is blue.[(((triple3) -> rule1))]
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple1
The mouse is not blue.
("mouse" "is" "blue" "-")
triple2
The tiger is round.
("tiger" "is" "round" "+")
triple3
The tiger is blue.
("tiger" "is" "blue" "+")
((triple3) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1