Fiona is smart. Fiona is white. Gary is nice. All nice, kind things are white. All young things are nice. If something is kind then it is quiet.
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
All nice, kind things are white.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
All young things are nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is kind then it is quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Fiona is smart.
True
1
proof
[(triple1)]
("Fiona" "is" "smart" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "white" "-")
triple2
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is smart.[(triple1)] Fiona is white.[(triple2)] Gary is nice.[(triple3)]
Fiona is smart.
("Fiona" "is" "smart" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Gary is nice.
("Gary" "is" "nice" "+")
triple3