Erin is not blue. Gary is not blue. Gary is furry. All nice things are not cold. If something is cold then it is blue. If Erin is not round then Erin is furry.
Erin is not blue.
("Erin" "is" "blue" "-")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is furry.
("Gary" "is" "furry" "+")
All nice things are not cold.
((("something" "is" "nice" "+")) -> ("something" "is" "cold" "-"))
If something is cold then it is blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If Erin is not round then Erin is furry.
((("Erin" "is" "round" "~")) -> ("Erin" "is" "furry" "+"))
Erin is not blue.
True
1
proof
[(triple1)]
("Erin" "is" "blue" "-")
triple1
Gary is blue.
False
1
inv-proof
[(triple2)]
("Gary" "is" "blue" "+")
triple2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Erin is not blue.[(triple1)] Gary is furry.[(triple3)] Gary is not blue.[(triple2)]
Erin is not blue.
("Erin" "is" "blue" "-")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Gary is not blue.
("Gary" "is" "blue" "-")
triple2