The cat is cold. If someone is green and cold then they are big. All red people are big. If someone is green and not big then they are kind.
The cat is cold.
("cat" "is" "cold" "+")
If someone is green and cold then they are big.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
All red people are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is green and not big then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "kind" "+"))
The cat is cold.
True
1
proof
[(triple1)]
("cat" "is" "cold" "+")
triple1
The cat is not cold.
False
1
inv-proof
[(triple1)]
("cat" "is" "cold" "-")
triple1
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "big" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat is cold.[(triple1)]
The cat is cold.
("cat" "is" "cold" "+")
triple1