The dog is kind. All kind things are not young. All cold, kind things are not rough. If something is kind then it is not cold.
The dog is kind.
("dog" "is" "kind" "+")
All kind things are not young.
((("something" "is" "kind" "+")) -> ("something" "is" "young" "-"))
All cold, kind things are not rough.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "-"))
If something is kind then it is not cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "-"))
The dog is kind.
True
1
proof
[(triple1)]
("dog" "is" "kind" "+")
triple1
The dog is not kind.
False
1
inv-proof
[(triple1)]
("dog" "is" "kind" "-")
triple1
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The dog is kind.[(triple1)] @1: The dog is not cold.[(((triple1) -> rule3))] The dog is not young.[(((triple1) -> rule1))]
The dog is kind.
("dog" "is" "kind" "+")
triple1
The dog is not cold.
("dog" "is" "cold" "-")
((triple1) -> (rule3 % int1))
The dog is not cold.
("dog" "is" "cold" "-")
int1
The dog is not young.
("dog" "is" "young" "-")
((triple1) -> (rule1 % int1))
The dog is not young.
("dog" "is" "young" "-")
int1