Anne is cold. Dave is rough. Gary is white. If Gary is cold then Gary is white. If Dave is rough then Dave is smart.
Anne is cold.
("Anne" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is cold then Gary is white.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "white" "+"))
If Dave is rough then Dave is smart.
((("Dave" "is" "rough" "+")) -> ("Dave" "is" "smart" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Dave is smart.
True
2
proof
[(((triple2) -> rule2))]
("Dave" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is not smart.
False
2
inv-proof
[(((triple2) -> rule2))]
("Dave" "is" "smart" "-")
((triple2) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Anne is not smart.
Unknown
inv-random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is cold.[(triple1)] Dave is rough.[(triple2)] Gary is white.[(triple3)] @1: Dave is smart.[(((triple2) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
((triple2) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1