Anne is not round. Bob is white. Fiona is cold. Fiona is red. Fiona is not rough. Fiona is white. Fiona is young. Quiet things are round. If something is red and not round then it is rough.
Anne is not round.
("Anne" "is" "round" "-")
Bob is white.
("Bob" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
If something is red and not round then it is rough.
((("something" "is" "red" "+") ("something" "is" "round" "~")) -> ("something" "is" "rough" "+"))
Fiona is not rough.
True
1
proof
[(triple5)]
("Fiona" "is" "rough" "-")
triple5
Fiona is rough.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "rough" "+")
triple5
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Anne is not round.[(triple1)] Bob is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is not rough.[(triple5)] Fiona is red.[(triple4)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]
Anne is not round.
("Anne" "is" "round" "-")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7