Erin is nice. Gary is quiet. Harry is not rough. All white people are green. All rough people are green. If someone is green and not nice then they are rough. Quiet, nice people are not rough. If someone is cold and not furry then they are not white. If someone is furry and cold then they are white. If Gary is quiet and Gary is white then Gary is not green. If Erin is rough then Erin is cold.
Erin is nice.
("Erin" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
All rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and not nice then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "rough" "+"))
Quiet, nice people are not rough.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "-"))
If someone is cold and not furry then they are not white.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "white" "-"))
If someone is furry and cold then they are white.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If Gary is quiet and Gary is white then Gary is not green.
((("Gary" "is" "quiet" "+") ("Gary" "is" "white" "+")) -> ("Gary" "is" "green" "-"))
If Erin is rough then Erin is cold.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "cold" "+"))
Gary is quiet.
True
1
proof
[(triple2)]
("Gary" "is" "quiet" "+")
triple2
Harry is rough.
False
1
inv-proof
[(triple3)]
("Harry" "is" "rough" "+")
triple3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Erin is nice.[(triple1)] Gary is quiet.[(triple2)] Harry is not rough.[(triple3)]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Harry is not rough.
("Harry" "is" "rough" "-")
triple3