The cat is not cold. Kind, young people are not cold. Kind, rough people are cold. Red people are cold. If someone is kind then they are not cold. If someone is kind then they are cold. If the cat is red and the cat is kind then the cat is young. If someone is young and rough then they are not red. If the cat is kind and the cat is cold then the cat is not rough.
The cat is not cold.
("cat" "is" "cold" "-")
Kind, young people are not cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "-"))
Kind, rough people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind then they are not cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If the cat is red and the cat is kind then the cat is young.
((("cat" "is" "red" "+") ("cat" "is" "kind" "+")) -> ("cat" "is" "young" "+"))
If someone is young and rough then they are not red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "-"))
If the cat is kind and the cat is cold then the cat is not rough.
((("cat" "is" "kind" "+") ("cat" "is" "cold" "+")) -> ("cat" "is" "rough" "-"))
The cat is not cold.
True
1
proof
[(triple1)]
("cat" "is" "cold" "-")
triple1
The cat is cold.
False
1
inv-proof
[(triple1)]
("cat" "is" "cold" "+")
triple1
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "is" "young" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat is not cold.[(triple1)]
The cat is not cold.
("cat" "is" "cold" "-")
triple1