The dog is rough. Kind, red people are green. If the dog is rough and the dog is cold then the dog is green. If the dog is rough then the dog is red. Red, green people are kind. All rough, red people are cold. All rough, kind people are green.
The dog is rough.
("dog" "is" "rough" "+")
Kind, red people are green.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If the dog is rough and the dog is cold then the dog is green.
((("dog" "is" "rough" "+") ("dog" "is" "cold" "+")) -> ("dog" "is" "green" "+"))
If the dog is rough then the dog is red.
((("dog" "is" "rough" "+")) -> ("dog" "is" "red" "+"))
Red, green people are kind.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
All rough, red people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
All rough, kind people are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
The dog is rough.
True
1
proof
[(triple1)]
("dog" "is" "rough" "+")
triple1
The dog is not rough.
False
1
inv-proof
[(triple1)]
("dog" "is" "rough" "-")
triple1
The dog is red.
True
2
proof
[(((triple1) -> rule3))]
("dog" "is" "red" "+")
((triple1) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
2
inv-proof
[(((triple1) -> rule3))]
("dog" "is" "red" "-")
((triple1) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is cold.
True
4
proof
[(((triple1 ((triple1) -> rule3)) -> rule5))]
("dog" "is" "cold" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is not cold.
False
4
inv-proof
[(((triple1 ((triple1) -> rule3)) -> rule5))]
("dog" "is" "cold" "-")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is green.
True
6
proof
[(((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2))]
("dog" "is" "green" "+")
((triple1 ((triple1 ((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog is not green.
False
6
inv-proof
[(((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2))]
("dog" "is" "green" "-")
((triple1 ((triple1 ((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "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 rough.[(triple1)] @1: The dog is red.[(((triple1) -> rule3))] @2: The dog is cold.[(((triple1 ((triple1) -> rule3)) -> rule5))] @3: The dog is green.[(((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2))] @4: The dog is kind.[(((((triple1) -> rule3) ((triple1 ((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2)) -> rule4))]
The dog is rough.
("dog" "is" "rough" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
((triple1) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog is green.
("dog" "is" "green" "+")
((triple1 ((triple1 ((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog is kind.
("dog" "is" "kind" "+")
((((triple1) -> (rule3 % int4)) ((triple1 ((triple1 ((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is cold.
("dog" "is" "cold" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4