Bob is kind. Dave is not kind. Erin is nice. Fiona is blue. All nice people are not white. Kind people are white. Furry people are not nice.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
All nice people are not white.
((("someone" "is" "nice" "+")) -> ("someone" "is" "white" "-"))
Kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Furry people are not nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "-"))
Dave is not kind.
True
1
proof
[(triple2)]
("Dave" "is" "kind" "-")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "blue" "-")
triple4
Erin is not white.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "white" "-")
((triple3) -> (rule1 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Erin is white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "white" "+")
((triple3) -> (rule1 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Dave is white.
Unknown
rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "white" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Bob is kind.[(triple1)] Dave is not kind.[(triple2)] Erin is nice.[(triple3)] Fiona is blue.[(triple4)] @1: Bob is white.[(((triple1) -> rule2))] Erin is not white.[(((triple3) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is not kind.
("Dave" "is" "kind" "-")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Erin is not white.
("Erin" "is" "white" "-")
((triple3) -> (rule1 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1