The dog is young. If something is kind and young then it is nice. If something is young then it is kind. All nice things are kind.
The dog is young.
("dog" "is" "young" "+")
If something is kind and young then it is nice.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
All nice things are kind.
((("something" "is" "nice" "+")) -> ("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) -> rule2))]
("dog" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("dog" "is" "kind" "-")
((triple1) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is nice.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("dog" "is" "nice" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog is not nice.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("dog" "is" "nice" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog is young.[(triple1)] @1: The dog is kind.[(((triple1) -> rule2))] @2: The dog is nice.[(((((triple1) -> rule2) triple1) -> rule1))]
The dog is young.
("dog" "is" "young" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2