Bob is furry. Dave is young. Erin is young. If something is cold then it is not blue. If something is young then it is not rough. Blue, white things are kind.
Bob is furry.
("Bob" "is" "furry" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is cold then it is not blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "-"))
If something is young then it is not rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "-"))
Blue, white things are kind.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Bob is furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Dave is not young.
False
1
inv-proof
[(triple2)]
("Dave" "is" "young" "-")
triple2
Dave is not rough.
True
2
proof
[(((triple2) -> rule2))]
("Dave" "is" "rough" "-")
((triple2) -> (rule2 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
Erin is rough.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "rough" "+")
((triple3) -> (rule2 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "kind" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is furry.[(triple1)] Dave is young.[(triple2)] Erin is young.[(triple3)] @1: Dave is not rough.[(((triple2) -> rule2))] Erin is not rough.[(((triple3) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple2
Erin is young.
("Erin" "is" "young" "+")
triple3
Dave is not rough.
("Dave" "is" "rough" "-")
((triple2) -> (rule2 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
Erin is not rough.
("Erin" "is" "rough" "-")
((triple3) -> (rule2 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1