The dog is kind. All rough, young people are round. All kind people are red. If the dog is young then the dog is red. Rough, young people are kind. If the dog is red then the dog is young. Red people are rough. If the dog is young and the dog is kind then the dog is red. If the dog is round then the dog is kind.
The dog is kind.
("dog" "is" "kind" "+")
All rough, young people are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If the dog is young then the dog is red.
((("dog" "is" "young" "+")) -> ("dog" "is" "red" "+"))
Rough, young people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If the dog is red then the dog is young.
((("dog" "is" "red" "+")) -> ("dog" "is" "young" "+"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If the dog is young and the dog is kind then the dog is red.
((("dog" "is" "young" "+") ("dog" "is" "kind" "+")) -> ("dog" "is" "red" "+"))
If the dog is round then the dog is kind.
((("dog" "is" "round" "+")) -> ("dog" "is" "kind" "+"))
The dog is kind.
True
1
proof
[(triple1)]
("dog" "is" "kind" "+")
triple1
The dog is not kind.
False
1
inv-proof
[(triple1)]
("dog" "is" "kind" "-")
triple1
The dog is red.
True
2
proof
[(((triple1) -> rule2))]
("dog" "is" "red" "+")
((triple1) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
2
inv-proof
[(((triple1) -> rule2))]
("dog" "is" "red" "-")
((triple1) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is young.
True
3
proof
[(((((triple1) -> rule2)) -> rule5))]
("dog" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is not rough.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule6))]
("dog" "is" "rough" "-")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is round.
True
7
proof
[(((((((triple1) -> rule2)) -> rule6) ((((triple1) -> rule2)) -> rule5)) -> rule1))]
("dog" "is" "round" "+")
((((((triple1) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4
The dog is not round.
False
7
inv-proof
[(((((((triple1) -> rule2)) -> rule6) ((((triple1) -> rule2)) -> rule5)) -> rule1))]
("dog" "is" "round" "-")
((((((triple1) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4
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 chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog is kind.[(triple1)] @1: The dog is red.[(((triple1) -> rule2))] @2: The dog is rough.[(((((triple1) -> rule2)) -> rule6))] The dog is young.[(((((triple1) -> rule2)) -> rule5))] @3: The dog is round.[(((((((triple1) -> rule2)) -> rule6) ((((triple1) -> rule2)) -> rule5)) -> rule1))]
The dog is kind.
("dog" "is" "kind" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
((triple1) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is young.
("dog" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule5 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is round.
("dog" "is" "round" "+")
((((((triple1) -> (rule2 % int4))) -> (rule6 % int3)) ((((triple1) -> (rule2 % int4))) -> (rule5 % int2))) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4