The lion is cold. Rough, round people are big. If the lion is rough then the lion is cold. If the lion is red and the lion is cold then the lion is big.
The lion is cold.
("lion" "is" "cold" "+")
Rough, round people are big.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If the lion is rough then the lion is cold.
((("lion" "is" "rough" "+")) -> ("lion" "is" "cold" "+"))
If the lion is red and the lion is cold then the lion is big.
((("lion" "is" "red" "+") ("lion" "is" "cold" "+")) -> ("lion" "is" "big" "+"))
The lion is cold.
True
1
proof
[(triple1)]
("lion" "is" "cold" "+")
triple1
The lion is not cold.
False
1
inv-proof
[(triple1)]
("lion" "is" "cold" "-")
triple1
The lion is not big.
Unknown
inv-rconc
[@1: The lion is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "big" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
@0: The lion is cold.[(triple1)]
The lion is cold.
("lion" "is" "cold" "+")
triple1