The dog is rough. The dog is round. The dog is young. All young, red people are kind. All rough people are red. If someone is rough then they are young.
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
All young, red people are kind.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
The dog is rough.
True
1
proof
[(triple1)]
("dog" "is" "rough" "+")
triple1
The dog is not young.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule3))]
("dog" "is" "young" "-")
triple3
((triple1) -> (rule3 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
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 kind.
True
4
proof
[(((triple3 ((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule3) ((triple1) -> rule2)) -> rule1))]
("dog" "is" "kind" "+")
((triple3 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog is not kind.
False
4
inv-proof
[(((triple3 ((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule3) ((triple1) -> rule2)) -> rule1))]
("dog" "is" "kind" "-")
((triple3 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is red.
("dog" "is" "red" "+")
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 likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog is rough.[(triple1)] The dog is round.[(triple2)] The dog is young.[(triple3 OR ((triple1) -> rule3))] @1: The dog is red.[(((triple1) -> rule2))] @2: The dog is kind.[(((triple3 ((triple1) -> rule2)) -> rule1) OR ((((triple1) -> rule3) ((triple1) -> rule2)) -> rule1))]
The dog is rough.
("dog" "is" "rough" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
((triple1) -> (rule3 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((triple1) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((triple3 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3