The lion is cold. The lion is kind. The lion is nice. The lion is red. The lion is rough. If something is kind and nice then it is cold.
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
If something is kind and nice then it is cold.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
The lion is nice.
True
1
proof
[(triple3)]
("lion" "is" "nice" "+")
triple3
The lion is not kind.
False
1
inv-proof
[(triple2)]
("lion" "is" "kind" "-")
triple2
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The lion is cold.[(triple1 OR ((triple2 triple3) -> rule1))] The lion is kind.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5)]
The lion is cold.
("lion" "is" "cold" "+")
triple1
((triple2 triple3) -> (rule1 % int1))
The lion is cold.
("lion" "is" "cold" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
triple2
The lion is nice.
("lion" "is" "nice" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5