The lion is big. The squirrel sees the lion. If something sees the lion then it is cold. If something is cold and it sees the lion then it is blue.
The lion is big.
("lion" "is" "big" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If something sees the lion then it is cold.
((("something" "sees" "lion" "+")) -> ("something" "is" "cold" "+"))
If something is cold and it sees the lion then it is blue.
((("something" "is" "cold" "+") ("something" "sees" "lion" "+")) -> ("something" "is" "blue" "+"))
The lion is big.
True
1
proof
[(triple1)]
("lion" "is" "big" "+")
triple1
The lion is not big.
False
1
inv-proof
[(triple1)]
("lion" "is" "big" "-")
triple1
The squirrel is cold.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The lion is not cold.
Unknown
inv-rconc
[@1: The lion is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "cold" "-")
The lion is blue.
Unknown
rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "blue" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The lion is big.[(triple1)] The squirrel sees the lion.[(triple2)] @1: The squirrel is cold.[(((triple2) -> rule1))] @2: The squirrel is blue.[(((((triple2) -> rule1) triple2) -> rule2))]
The lion is big.
("lion" "is" "big" "+")
triple1
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple2
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((triple2) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2