Anne is green. Anne is round. Dave is nice. Dave is quiet. Erin is furry. Erin is nice. Fiona is quiet. Nice, young people are kind. If someone is furry then they are young. Kind, young people are quiet.
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Nice, young people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is furry then they are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Kind, young people are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not round.
False
1
inv-proof
[(triple2)]
("Anne" "is" "round" "-")
triple2
Erin is young.
True
2
proof
[(((triple5) -> rule2))]
("Erin" "is" "young" "+")
((triple5) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple5) -> rule2))]
("Erin" "is" "young" "-")
((triple5) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
True
4
proof
[(((triple6 ((triple5) -> rule2)) -> rule1))]
("Erin" "is" "kind" "+")
((triple6 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not kind.
False
4
inv-proof
[(((triple6 ((triple5) -> rule2)) -> rule1))]
("Erin" "is" "kind" "-")
((triple6 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
True
7
proof
[(((((triple6 ((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule3))]
("Erin" "is" "quiet" "+")
((((triple6 ((triple5) -> (rule2 % int3))) -> (rule1 % int2)) ((triple5) -> (rule2 % int3))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not quiet.
False
7
inv-proof
[(((((triple6 ((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule3))]
("Erin" "is" "quiet" "-")
((((triple6 ((triple5) -> (rule2 % int3))) -> (rule1 % int2)) ((triple5) -> (rule2 % int3))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "kind" "-")
Dave is kind.
Unknown
rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "kind" "+")
Fiona is not young.
Unknown
inv-rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "-")
Anne is quiet.
Unknown
rconc
[@2: Anne is quiet.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Anne" "is" "quiet" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Dave is not furry.
Unknown
inv-random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6)] Fiona is quiet.[(triple7)] @1: Erin is young.[(((triple5) -> rule2))] @2: Erin is kind.[(((triple6 ((triple5) -> rule2)) -> rule1))] @3: Erin is quiet.[(((((triple6 ((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
((triple5) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple6 ((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple6 ((triple5) -> (rule2 % int3))) -> (rule1 % int2)) ((triple5) -> (rule2 % int3))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3