The bald eagle sees the bear. The bear is nice. The mouse is nice. The squirrel sees the bear. If something sees the bear then it is red.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is nice.
("bear" "is" "nice" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something sees the bear then it is red.
((("something" "sees" "bear" "+")) -> ("something" "is" "red" "+"))
The bald eagle sees the bear.
True
1
proof
[(triple1)]
("bald eagle" "sees" "bear" "+")
triple1
The mouse is not nice.
False
1
inv-proof
[(triple3)]
("mouse" "is" "nice" "-")
triple3
The bald eagle is red.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "is" "red" "+")
((triple1) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle is not red.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "is" "red" "-")
((triple1) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "red" "-")
The mouse is red.
Unknown
rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "red" "+")
The squirrel does not eat the bald eagle.
Unknown
inv-random
[@0: The squirrel eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "bald eagle" "-")
The squirrel sees the bald eagle.
Unknown
random
[@0: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "bald eagle" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear is nice.[(triple2)] The mouse is nice.[(triple3)] The squirrel sees the bear.[(triple4)] @1: The bald eagle is red.[(((triple1) -> rule1))] The squirrel is red.[(((triple4) -> rule1))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The mouse is nice.
("mouse" "is" "nice" "+")
triple3
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple1) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple4) -> (rule1 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1