Fiona is cold. Young things are cold. If something is furry then it is cold. Furry, cold things are blue.
Fiona is cold.
("Fiona" "is" "cold" "+")
Young things are cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Furry, cold things are blue.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
Fiona is cold.
True
1
proof
[(triple1)]
("Fiona" "is" "cold" "+")
triple1
Fiona is not cold.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "cold" "-")
triple1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Fiona is cold.[(triple1)]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1