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