Erin is white. Cold things are young. Cold, young things are nice. If Erin is nice then Erin is cold. Young things are furry. All furry, cold things are blue. Cold, furry things are white. All young, white things are blue. Red, nice things are cold.
Erin is white.
("Erin" "is" "white" "+")
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Cold, young things are nice.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If Erin is nice then Erin is cold.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "cold" "+"))
Young things are furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
All furry, cold things are blue.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
Cold, furry things are white.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
All young, white things are blue.
((("something" "is" "young" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Red, nice things are cold.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Erin is white.
True
1
proof
[(triple1)]
("Erin" "is" "white" "+")
triple1
Erin is not white.
False
1
inv-proof
[(triple1)]
("Erin" "is" "white" "-")
triple1
Erin is not blue.
Unknown
inv-rconc
[@4: Erin is blue.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule2 <- rule8 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
@0: Erin is white.[(triple1)]
Erin is white.
("Erin" "is" "white" "+")
triple1