Erin is cold. Gary is kind. If someone is green and not furry then they are kind. If Erin is cold then Erin is not nice. If someone is cold and smart then they are green. All kind people are not smart. All white people are not nice. If someone is smart and nice then they are not white. If someone is kind and not furry then they are white. If Gary is smart and Gary is not green then Gary is white.
Erin is cold.
("Erin" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is green and not furry then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "kind" "+"))
If Erin is cold then Erin is not nice.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "nice" "-"))
If someone is cold and smart then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
All kind people are not smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "-"))
All white people are not nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "-"))
If someone is smart and nice then they are not white.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "-"))
If someone is kind and not furry then they are white.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "white" "+"))
If Gary is smart and Gary is not green then Gary is white.
((("Gary" "is" "smart" "+") ("Gary" "is" "green" "~")) -> ("Gary" "is" "white" "+"))
Erin is cold.
True
1
proof
[(triple1)]
("Erin" "is" "cold" "+")
triple1
Gary is not kind.
False
1
inv-proof
[(triple2)]
("Gary" "is" "kind" "-")
triple2
Erin is not nice.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is nice.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is white.
Unknown
rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "white" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Erin is cold.[(triple1)] Gary is kind.[(triple2)] @1: Erin is not nice.[(((triple1) -> rule2))] Gary is not smart.[(((triple2) -> rule4))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Erin is not nice.
("Erin" "is" "nice" "-")
((triple1) -> (rule2 % int1))
Erin is not nice.
("Erin" "is" "nice" "-")
int1
Gary is not smart.
("Gary" "is" "smart" "-")
((triple2) -> (rule4 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1