Fiona is not cold. Fiona is furry. Fiona is green. If something is red then it is furry. If something is cold and not big then it is green. If something is green and blue then it is smart.
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If something is red then it is furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If something is cold and not big then it is green.
((("something" "is" "cold" "+") ("something" "is" "big" "~")) -> ("something" "is" "green" "+"))
If something is green and blue then it is smart.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
Fiona is not 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 smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is not cold.[(triple1)]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple1