Anne is nice. Dave is quiet. Fiona is quiet. If Fiona is cold and Fiona is big then Fiona is quiet. If Anne is quiet and Anne is not nice then Anne is blue. If someone is cold then they are furry.
Anne is nice.
("Anne" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If Fiona is cold and Fiona is big then Fiona is quiet.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "quiet" "+"))
If Anne is quiet and Anne is not nice then Anne is blue.
((("Anne" "is" "quiet" "+") ("Anne" "is" "nice" "~")) -> ("Anne" "is" "blue" "+"))
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Dave is quiet.
True
1
proof
[(triple2)]
("Dave" "is" "quiet" "+")
triple2
Fiona is not quiet.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "quiet" "-")
triple3
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is nice.[(triple1)] Dave is quiet.[(triple2)] Fiona is quiet.[(triple3)]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3