The dog is cold. Cold things are kind. If the dog is kind and the dog is young then the dog is cold. If the dog is kind and the dog is young then the dog is cold.
The dog is cold.
("dog" "is" "cold" "+")
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If the dog is kind and the dog is young then the dog is cold.
((("dog" "is" "kind" "+") ("dog" "is" "young" "+")) -> ("dog" "is" "cold" "+"))
If the dog is kind and the dog is young then the dog is cold.
((("dog" "is" "kind" "+") ("dog" "is" "young" "+")) -> ("dog" "is" "cold" "+"))
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 kind.
True
2
proof
[(((triple1) -> rule1))]
("dog" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "kind" "-")
((triple1) -> (rule1 % 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 young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog is cold.[(triple1)] @1: The dog is kind.[(((triple1) -> rule1))]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1