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