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