The dog is nice. All young people are nice. If the dog is nice then the dog is green. Nice people are young. If someone is nice and not young then they are green. If the dog is not green then the dog is kind. Nice, rough people are kind. If someone is kind then they are rough. All young, nice people are rough.
The dog is nice.
("dog" "is" "nice" "+")
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If the dog is nice then the dog is green.
((("dog" "is" "nice" "+")) -> ("dog" "is" "green" "+"))
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and not young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "green" "+"))
If the dog is not green then the dog is kind.
((("dog" "is" "green" "~")) -> ("dog" "is" "kind" "+"))
Nice, rough people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
All young, nice people are rough.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
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 green.
True
2
proof
[(((triple1) -> rule2))]
("dog" "is" "green" "+")
((triple1) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
2
inv-proof
[(((triple1) -> rule2))]
("dog" "is" "green" "-")
((triple1) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is rough.
True
4
proof
[(((((triple1) -> rule3) triple1) -> rule8))]
("dog" "is" "rough" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is not rough.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule8))]
("dog" "is" "rough" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is kind.
True
6
proof
[(((triple1 ((((triple1) -> rule3) triple1) -> rule8)) -> rule6))]
("dog" "is" "kind" "+")
((triple1 ((((triple1) -> (rule3 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog is not kind.
False
6
inv-proof
[(((triple1 ((((triple1) -> rule3) triple1) -> rule8)) -> rule6))]
("dog" "is" "kind" "-")
((triple1 ((((triple1) -> (rule3 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is young.
("dog" "is" "young" "+")
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 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 green.[(((triple1) -> rule2))] The dog is young.[(((triple1) -> rule3))] @2: The dog is rough.[(((((triple1) -> rule3) triple1) -> rule8))] @3: The dog is kind.[(((triple1 ((((triple1) -> rule3) triple1) -> rule8)) -> rule6))]
The dog is nice.
("dog" "is" "nice" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
((triple1) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple1) -> (rule3 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule8 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
((triple1 ((((triple1) -> (rule3 % int3)) triple1) -> (rule8 % int2))) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3