The bald eagle sees the squirrel. The bear visits the bald eagle. The lion sees the squirrel. The squirrel needs the bear. If something is young then it needs the lion. If something sees the squirrel then the squirrel is cold. If something sees the lion then the lion sees the squirrel.
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something is young then it needs the lion.
((("something" "is" "young" "+")) -> ("something" "needs" "lion" "+"))
If something sees the squirrel then the squirrel is cold.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "is" "cold" "+"))
If something sees the lion then the lion sees the squirrel.
((("something" "sees" "lion" "+")) -> ("lion" "sees" "squirrel" "+"))
The bald eagle sees the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "sees" "squirrel" "+")
triple1
The bear does not visit the bald eagle.
False
1
inv-proof
[(triple2)]
("bear" "visits" "bald eagle" "-")
triple2
The squirrel is cold.
True
2
proof
[(((triple1) -> rule2) OR ((triple3) -> rule2))]
("squirrel" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
((triple3) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not cold.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple3) -> rule2))]
("squirrel" "is" "cold" "-")
((triple1) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
((triple3) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel does not need the lion.
Unknown
inv-rconc
[@1: The squirrel needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "lion" "-")
The bear needs the lion.
Unknown
rconc
[@1: The bear needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "lion" "+")
The bear does not visit the squirrel.
Unknown
inv-random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "-")
The bald eagle visits the squirrel.
Unknown
random
[@0: The bald eagle visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "squirrel" "+")
@0: The bald eagle sees the squirrel.[(triple1)] The bear visits the bald eagle.[(triple2)] The lion sees the squirrel.[(triple3)] The squirrel needs the bear.[(triple4)] @1: The squirrel is cold.[(((triple1) -> rule2) OR ((triple3) -> rule2))]
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple2
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple3
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple4
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
((triple3) -> (rule2 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1