Anne is cold. Anne is green. Anne is kind. Erin is not quiet. Erin is round. Erin is not white. Gary is quiet. All kind, blue people are not cold. All blue, white people are cold. If someone is round and kind then they are green. If someone is cold and not blue then they are white. If someone is blue and not round then they are quiet. If someone is cold then they are kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is not white.
("Erin" "is" "white" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
All kind, blue people are not cold.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "-"))
All blue, white people are cold.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and not blue then they are white.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "white" "+"))
If someone is blue and not round then they are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "quiet" "+"))
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Anne is kind.
True
1
proof
[(triple3 OR ((triple1) -> rule6))]
("Anne" "is" "kind" "+")
triple3
((triple1) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not kind.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule6))]
("Anne" "is" "kind" "-")
triple3
((triple1) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@2: Erin is kind.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Erin" "is" "kind" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple1) -> rule6))] Erin is not quiet.[(triple4)] Erin is not white.[(triple6)] Erin is round.[(triple5)] Gary is quiet.[(triple7)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple1) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple4
Erin is not white.
("Erin" "is" "white" "-")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple5
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7