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