Dave is green. Erin is green. Fiona is rough. If something is smart and not nice then it is not rough. Big, green things are cold.
Dave is green.
("Dave" "is" "green" "+")
Erin is green.
("Erin" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If something is smart and not nice then it is not rough.
((("something" "is" "smart" "+") ("something" "is" "nice" "~")) -> ("something" "is" "rough" "-"))
Big, green things are cold.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Dave is not green.
False
1
inv-proof
[(triple1)]
("Dave" "is" "green" "-")
triple1
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "cold" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Dave is green.[(triple1)] Erin is green.[(triple2)] Fiona is rough.[(triple3)]
Dave is green.
("Dave" "is" "green" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3