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