Bob is rough. Fiona is white. Red things are white. All nice, smart things are quiet.
Bob is rough.
("Bob" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
All nice, smart things are quiet.
((("something" "is" "nice" "+") ("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
Fiona is white.
True
1
proof
[(triple2)]
("Fiona" "is" "white" "+")
triple2
Fiona is not white.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "white" "-")
triple2
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is rough.[(triple1)] Fiona is white.[(triple2)]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2