Charlie is not kind. Dave is not nice. Fiona is nice. If Dave is green then Dave is nice. If Fiona is blue and Fiona is not kind then Fiona is not rough. Green people are smart.
Charlie is not kind.
("Charlie" "is" "kind" "-")
Dave is not nice.
("Dave" "is" "nice" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
If Dave is green then Dave is nice.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "nice" "+"))
If Fiona is blue and Fiona is not kind then Fiona is not rough.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "rough" "-"))
Green people are smart.
((("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
Dave is not nice.
True
1
proof
[(triple2)]
("Dave" "is" "nice" "-")
triple2
Dave is nice.
False
1
inv-proof
[(triple2)]
("Dave" "is" "nice" "+")
triple2
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "smart" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Charlie is not kind.[(triple1)] Dave is not nice.[(triple2)] Fiona is nice.[(triple3)]
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple1
Dave is not nice.
("Dave" "is" "nice" "-")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3