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