Anne is kind. Dave is white. Gary is green. All rough, kind things are cold. If Dave is rough then Dave is kind. If Gary is green then Gary is kind. If something is kind and cold then it is young. Rough things are cold. Young things are red.
Anne is kind.
("Anne" "is" "kind" "+")
Dave is white.
("Dave" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
All rough, kind things are cold.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If Dave is rough then Dave is kind.
((("Dave" "is" "rough" "+")) -> ("Dave" "is" "kind" "+"))
If Gary is green then Gary is kind.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "kind" "+"))
If something is kind and cold then it is young.
((("something" "is" "kind" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Dave is white.
True
1
proof
[(triple2)]
("Dave" "is" "white" "+")
triple2
Gary is not green.
False
1
inv-proof
[(triple3)]
("Gary" "is" "green" "-")
triple3
Gary is kind.
True
2
proof
[(((triple3) -> rule3))]
("Gary" "is" "kind" "+")
((triple3) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple3) -> rule3))]
("Gary" "is" "kind" "-")
((triple3) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Anne is not young.
Unknown
inv-rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Anne" "is" "young" "-")
Dave is cold.
Unknown
rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Anne is kind.[(triple1)] Dave is white.[(triple2)] Gary is green.[(triple3)] @1: Gary is kind.[(((triple3) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Dave is white.
("Dave" "is" "white" "+")
triple2
Gary is green.
("Gary" "is" "green" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
((triple3) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1