Anne is cold. Anne is rough. Erin is rough. All cold people are white. All white, cold people are blue. If someone is white and not rough then they are not quiet. All blue, white people are not quiet. If someone is round and blue then they are quiet. If someone is quiet then they are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Erin is rough.
("Erin" "is" "rough" "+")
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All white, cold people are blue.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is white and not rough then they are not quiet.
((("someone" "is" "white" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "quiet" "-"))
All blue, white people are not quiet.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "-"))
If someone is round and blue then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet then they are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Erin is rough.
True
1
proof
[(triple3)]
("Erin" "is" "rough" "+")
triple3
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Anne is white.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "white" "-")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule2))]
("Anne" "is" "blue" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not blue.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule2))]
("Anne" "is" "blue" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not quiet.
True
7
proof
[(((((((triple1) -> rule1) triple1) -> rule2) ((triple1) -> rule1)) -> rule4))]
("Anne" "is" "quiet" "-")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule4 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
False
7
inv-proof
[(((((((triple1) -> rule1) triple1) -> rule2) ((triple1) -> rule1)) -> rule4))]
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule4 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "young" "-")
Erin is white.
Unknown
rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "white" "+")
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is blue.
Unknown
rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "blue" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Erin is rough.[(triple3)] @1: Anne is white.[(((triple1) -> rule1))] @2: Anne is blue.[(((((triple1) -> rule1) triple1) -> rule2))] @3: Anne is not quiet.[(((((((triple1) -> rule1) triple1) -> rule2) ((triple1) -> rule1)) -> rule4))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not quiet.
("Anne" "is" "quiet" "-")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule4 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3