Dave is cold. Dave is green. Dave is quiet. Dave is rough. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. If Dave is not rough then Dave is nice. If someone is blue and rough then they are not nice. If Dave is red and Dave is not blue then Dave is quiet.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Dave is not rough then Dave is nice.
((("Dave" "is" "rough" "~")) -> ("Dave" "is" "nice" "+"))
If someone is blue and rough then they are not nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "-"))
If Dave is red and Dave is not blue then Dave is quiet.
((("Dave" "is" "red" "+") ("Dave" "is" "blue" "~")) -> ("Dave" "is" "quiet" "+"))
Fiona is cold.
True
1
proof
[(triple5)]
("Fiona" "is" "cold" "+")
triple5
Fiona is not green.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "green" "-")
triple6
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10