Dave is not cold. Erin is quiet. If Dave is furry then Dave is cold. All cold, red people are quiet. Quiet people are young.
Dave is not cold.
("Dave" "is" "cold" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
If Dave is furry then Dave is cold.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "cold" "+"))
All cold, red people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
Dave is not cold.
True
1
proof
[(triple1)]
("Dave" "is" "cold" "-")
triple1
Dave is cold.
False
1
inv-proof
[(triple1)]
("Dave" "is" "cold" "+")
triple1
Erin is young.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "young" "+")
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "young" "-")
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is quiet.
Unknown
rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "quiet" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is not cold.[(triple1)] Erin is quiet.[(triple2)] @1: Erin is young.[(((triple2) -> rule3))]
Dave is not cold.
("Dave" "is" "cold" "-")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1