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