Anne is not blue. Anne is kind. Anne is nice. Anne is not white. Dave is not furry. Dave is kind. Dave is not white. Erin is furry. Erin is kind. Erin is white. If someone is furry then they are smart.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not white.
("Anne" "is" "white" "-")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not white.
("Dave" "is" "white" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is white.
("Erin" "is" "white" "+")
If someone is furry then they are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Erin is furry.
True
1
proof
[(triple8)]
("Erin" "is" "furry" "+")
triple8
Erin is not furry.
False
1
inv-proof
[(triple8)]
("Erin" "is" "furry" "-")
triple8
Erin is smart.
True
2
proof
[(((triple8) -> rule1))]
("Erin" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple8) -> rule1))]
("Erin" "is" "smart" "-")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "smart" "-")
Dave is smart.
Unknown
rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "smart" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not blue.[(triple1)] Anne is not white.[(triple4)] Dave is kind.[(triple6)] Dave is not furry.[(triple5)] Dave is not white.[(triple7)] Erin is furry.[(triple8)] Erin is kind.[(triple9)] Erin is white.[(triple10)] @1: Erin is smart.[(((triple8) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is not furry.
("Dave" "is" "furry" "-")
triple5
Dave is not white.
("Dave" "is" "white" "-")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
((triple8) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1