The lion is blue. The lion is cold. The lion is not kind. The lion is red. The lion is not rough. All blue things are cold.
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is red.
("lion" "is" "red" "+")
The lion is not rough.
("lion" "is" "rough" "-")
All blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
The lion is not kind.
True
1
proof
[(triple3)]
("lion" "is" "kind" "-")
triple3
The lion is not blue.
False
1
inv-proof
[(triple1)]
("lion" "is" "blue" "-")
triple1
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion is blue.[(triple1)] The lion is cold.[(triple2 OR ((triple1) -> rule1))] The lion is not kind.[(triple3)] The lion is not rough.[(triple5)] The lion is red.[(triple4)]
The lion is blue.
("lion" "is" "blue" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
((triple1) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is not kind.
("lion" "is" "kind" "-")
triple3
The lion is not rough.
("lion" "is" "rough" "-")
triple5
The lion is red.
("lion" "is" "red" "+")
triple4