Anne is kind. Anne is rough. Anne is round. Fiona is not cold. Fiona is not kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is not round. Fiona is white. Cold things are quiet.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Cold things are quiet.
((("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Fiona is rough.
True
1
proof
[(triple8)]
("Fiona" "is" "rough" "+")
triple8
Fiona is kind.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "kind" "+")
triple5
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Fiona is not cold.[(triple4)] Fiona is not kind.[(triple5)] Fiona is not round.[(triple9)] Fiona is quiet.[(triple6)] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Fiona is white.[(triple10)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple4
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple5
Fiona is not round.
("Fiona" "is" "round" "-")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple10