Fiona is round. All young, furry things are round. If Fiona is green and Fiona is white then Fiona is rough. If something is green and smart then it is rough.
Fiona is round.
("Fiona" "is" "round" "+")
All young, furry things are round.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If Fiona is green and Fiona is white then Fiona is rough.
((("Fiona" "is" "green" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "rough" "+"))
If something is green and smart then it is rough.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Fiona is round.
True
1
proof
[(triple1)]
("Fiona" "is" "round" "+")
triple1
Fiona is not round.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "round" "-")
triple1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Fiona is round.[(triple1)]
Fiona is round.
("Fiona" "is" "round" "+")
triple1