The dog is blue. Kind, blue things are green. If the dog is blue then the dog is kind. If the dog is not green then the dog is nice.
The dog is blue.
("dog" "is" "blue" "+")
Kind, blue things are green.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If the dog is blue then the dog is kind.
((("dog" "is" "blue" "+")) -> ("dog" "is" "kind" "+"))
If the dog is not green then the dog is nice.
((("dog" "is" "green" "~")) -> ("dog" "is" "nice" "+"))
The dog is blue.
True
1
proof
[(triple1)]
("dog" "is" "blue" "+")
triple1
The dog is not blue.
False
1
inv-proof
[(triple1)]
("dog" "is" "blue" "-")
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 green.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("dog" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog is not green.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("dog" "is" "green" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "nice" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
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 is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The dog is blue.[(triple1)] @1: The dog is kind.[(((triple1) -> rule2))] @2: The dog is green.[(((((triple1) -> rule2) triple1) -> rule1))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
((triple1) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2