Anne is green. Anne is kind. Anne is white. Anne is young. Dave is cold. Fiona is cold. Fiona is green. Fiona is not kind. Fiona is white. Fiona is not young. Gary is not rough. Gary is white. All cold things are nice.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is white.
("Gary" "is" "white" "+")
All cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Fiona is white.
True
1
proof
[(triple9)]
("Fiona" "is" "white" "+")
triple9
Anne is not kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "-")
triple2
Fiona is nice.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple6) -> rule1))]
("Fiona" "is" "nice" "-")
((triple6) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is white.[(triple3)] Anne is young.[(triple4)] Dave is cold.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7)] Fiona is not kind.[(triple8)] Fiona is not young.[(triple10)] Fiona is white.[(triple9)] Gary is not rough.[(triple11)] Gary is white.[(triple12)] @1: Dave is nice.[(((triple5) -> rule1))] Fiona is nice.[(((triple6) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple8
Fiona is not young.
("Fiona" "is" "young" "-")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Gary is not rough.
("Gary" "is" "rough" "-")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
Dave is nice.
("Dave" "is" "nice" "+")
((triple5) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple6) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1