The dog is nice. All nice things are young. If the dog is nice then the dog is cold. Young, nice things are big.
The dog is nice.
("dog" "is" "nice" "+")
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If the dog is nice then the dog is cold.
((("dog" "is" "nice" "+")) -> ("dog" "is" "cold" "+"))
Young, nice things are big.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
The dog is nice.
True
1
proof
[(triple1)]
("dog" "is" "nice" "+")
triple1
The dog is not nice.
False
1
inv-proof
[(triple1)]
("dog" "is" "nice" "-")
triple1
The dog is cold.
True
2
proof
[(((triple1) -> rule2))]
("dog" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "young" "-")
((triple1) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule3))]
("dog" "is" "big" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is not big.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule3))]
("dog" "is" "big" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
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 nice.[(triple1)] @1: The dog is cold.[(((triple1) -> rule2))] The dog is young.[(((triple1) -> rule1))] @2: The dog is big.[(((((triple1) -> rule1) triple1) -> rule3))]
The dog is nice.
("dog" "is" "nice" "+")
triple1
The dog is cold.
("dog" "is" "cold" "+")
((triple1) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple1) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is big.
("dog" "is" "big" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2