The dog is cold. If the dog is red and the dog is not cold then the dog is not kind. If the dog is cold then the dog is not kind. If someone is blue then they are red. If the dog is red and the dog is kind then the dog is not blue. If someone is red and kind then they are young. All young, kind people are not blue.
The dog is cold.
("dog" "is" "cold" "+")
If the dog is red and the dog is not cold then the dog is not kind.
((("dog" "is" "red" "+") ("dog" "is" "cold" "~")) -> ("dog" "is" "kind" "-"))
If the dog is cold then the dog is not kind.
((("dog" "is" "cold" "+")) -> ("dog" "is" "kind" "-"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If the dog is red and the dog is kind then the dog is not blue.
((("dog" "is" "red" "+") ("dog" "is" "kind" "+")) -> ("dog" "is" "blue" "-"))
If someone is red and kind then they are young.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
All young, kind people are not blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "-"))
The dog is cold.
True
1
proof
[(triple1)]
("dog" "is" "cold" "+")
triple1
The dog is not cold.
False
1
inv-proof
[(triple1)]
("dog" "is" "cold" "-")
triple1
The dog is not kind.
True
2
proof
[(((triple1) -> rule2))]
("dog" "is" "kind" "-")
((triple1) -> (rule2 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1
The dog is kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("dog" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "young" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "red" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
@0: The dog is cold.[(triple1)] @1: The dog is not kind.[(((triple1) -> rule2))]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is not kind.
("dog" "is" "kind" "-")
((triple1) -> (rule2 % int1))
The dog is not kind.
("dog" "is" "kind" "-")
int1