Fiona is green. Kind things are cold. Furry, kind things are nice. All green, cold things are kind. White things are kind. If Fiona is green and Fiona is white then Fiona is kind. Cold things are green.
Fiona is green.
("Fiona" "is" "green" "+")
Kind things are cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Furry, kind things are nice.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All green, cold things are kind.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
White things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If Fiona is green and Fiona is white then Fiona is kind.
((("Fiona" "is" "green" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "kind" "+"))
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Fiona is green.
True
1
proof
[(triple1)]
("Fiona" "is" "green" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "green" "-")
triple1
Fiona is not cold.
Unknown
inv-rconc
[@2: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Fiona is green.[(triple1)]
Fiona is green.
("Fiona" "is" "green" "+")
triple1