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