Dave is cold. Dave is green. Dave is rough. If Dave is rough then Dave is white. If someone is white then they are kind.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
If Dave is rough then Dave is white.
((("Dave" "is" "rough" "+")) -> ("Dave" "is" "white" "+"))
If someone is white then they are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
Dave is rough.
True
1
proof
[(triple3)]
("Dave" "is" "rough" "+")
triple3
Dave is not rough.
False
1
inv-proof
[(triple3)]
("Dave" "is" "rough" "-")
triple3
Dave is white.
True
2
proof
[(((triple3) -> rule1))]
("Dave" "is" "white" "+")
((triple3) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "white" "-")
((triple3) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("Dave" "is" "kind" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not kind.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("Dave" "is" "kind" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is rough.[(triple3)] @1: Dave is white.[(((triple3) -> rule1))] @2: Dave is kind.[(((((triple3) -> rule1)) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
((triple3) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2