The bald eagle likes the bear. The bear is young. The lion sees the squirrel. The squirrel is cold. If someone likes the lion then the lion eats the bald eagle. All kind people are young. If someone is cold then they see the bear.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is young.
("bear" "is" "young" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
If someone likes the lion then the lion eats the bald eagle.
((("someone" "likes" "lion" "+")) -> ("lion" "eats" "bald eagle" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold then they see the bear.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "bear" "+"))
The bear is young.
True
1
proof
[(triple2)]
("bear" "is" "young" "+")
triple2
The squirrel is not cold.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "cold" "-")
triple4
The squirrel sees the bear.
True
2
proof
[(((triple4) -> rule3))]
("squirrel" "sees" "bear" "+")
((triple4) -> (rule3 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The squirrel does not see the bear.
False
2
inv-proof
[(((triple4) -> rule3))]
("squirrel" "sees" "bear" "-")
((triple4) -> (rule3 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "young" "-")
The bear sees the bear.
Unknown
rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "sees" "bear" "+")
The lion does not see the lion.
Unknown
inv-random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "-")
The bald eagle likes the lion.
Unknown
random
[@0: The bald eagle likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "lion" "+")
@0: The bald eagle likes the bear.[(triple1)] The bear is young.[(triple2)] The lion sees the squirrel.[(triple3)] The squirrel is cold.[(triple4)] @1: The squirrel sees the bear.[(((triple4) -> rule3))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple3
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple4
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
((triple4) -> (rule3 % int1))
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
int1