Anne is white. Erin is cold. Fiona is rough. Gary is rough. All blue, smart things are round. If something is white and round then it is blue. If Gary is smart and Gary is cold then Gary is quiet.
Anne is white.
("Anne" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All blue, smart things are round.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
If something is white and round then it is blue.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If Gary is smart and Gary is cold then Gary is quiet.
((("Gary" "is" "smart" "+") ("Gary" "is" "cold" "+")) -> ("Gary" "is" "quiet" "+"))
Anne is white.
True
1
proof
[(triple1)]
("Anne" "is" "white" "+")
triple1
Gary is not rough.
False
1
inv-proof
[(triple4)]
("Gary" "is" "rough" "-")
triple4
Anne is not blue.
Unknown
inv-rconc
[@2: Anne is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is white.[(triple1)] Erin is cold.[(triple2)] Fiona is rough.[(triple3)] Gary is rough.[(triple4)]
Anne is white.
("Anne" "is" "white" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4