Anne is smart. Anne is white. Fiona is big. If someone is smart and not furry then they are nice. Smart, kind people are rough.
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
If someone is smart and not furry then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "nice" "+"))
Smart, kind people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Anne is smart.
True
1
proof
[(triple1)]
("Anne" "is" "smart" "+")
triple1
Anne is not smart.
False
1
inv-proof
[(triple1)]
("Anne" "is" "smart" "-")
triple1
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is smart.[(triple1)] Anne is white.[(triple2)] Fiona is big.[(triple3)]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3