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