Anne is green. Anne is kind. Bob is green. Bob is quiet. Bob is red. Bob is young. Erin is kind. Quiet people are not smart. All quiet, white people are not green. If Erin is green then Erin is quiet. All green, red people are not white. Kind, smart people are white. All white people are not young.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Quiet people are not smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "-"))
All quiet, white people are not green.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "green" "-"))
If Erin is green then Erin is quiet.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "quiet" "+"))
All green, red people are not white.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "-"))
Kind, smart people are white.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
All white people are not young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "-"))
Bob is quiet.
True
1
proof
[(triple4)]
("Bob" "is" "quiet" "+")
triple4
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Bob is not white.
True
3
proof
[(((triple3 triple5) -> rule4))]
("Bob" "is" "white" "-")
((triple3 triple5) -> (rule4 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is white.
False
3
inv-proof
[(((triple3 triple5) -> rule4))]
("Bob" "is" "white" "+")
((triple3 triple5) -> (rule4 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "quiet" "-")
Anne is white.
Unknown
rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "white" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is young.[(triple6)] Erin is kind.[(triple7)] @1: Bob is not smart.[(((triple4) -> rule1))] Bob is not white.[(((triple3 triple5) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Bob is not smart.
("Bob" "is" "smart" "-")
((triple4) -> (rule1 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1
Bob is not white.
("Bob" "is" "white" "-")
((triple3 triple5) -> (rule4 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1