Anne is young. Dave is kind. Erin is quiet. Fiona is white. If Erin is white and Erin is quiet then Erin is kind. If something is quiet then it is white.
Anne is young.
("Anne" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Erin is white and Erin is quiet then Erin is kind.
((("Erin" "is" "white" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "kind" "+"))
If something is quiet then it is white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
Fiona is white.
True
1
proof
[(triple4)]
("Fiona" "is" "white" "+")
triple4
Erin is not quiet.
False
1
inv-proof
[(triple3)]
("Erin" "is" "quiet" "-")
triple3
Erin is white.
True
2
proof
[(((triple3) -> rule2))]
("Erin" "is" "white" "+")
((triple3) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "white" "-")
((triple3) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "white" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is young.[(triple1)] Dave is kind.[(triple2)] Erin is quiet.[(triple3)] Fiona is white.[(triple4)] @1: Erin is white.[(((triple3) -> rule2))] @2: Erin is kind.[(((((triple3) -> rule2) triple3) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
((triple3) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2