Anne is blue. Anne is round. Dave is round. Fiona is blue. Fiona is rough. Gary is blue. Gary is rough. All cold, blue things are green. Cold things are rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All cold, blue things are green.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
Cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Dave is round.
True
1
proof
[(triple3)]
("Dave" "is" "round" "+")
triple3
Gary is not rough.
False
1
inv-proof
[(triple7)]
("Gary" "is" "rough" "-")
triple7
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "rough" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Dave is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is rough.[(triple5)] Gary is blue.[(triple6)] Gary is rough.[(triple7)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7