Bob is green. Bob is nice. Dave is kind. Dave is rough. Erin is green. Gary is nice. Gary is rough. All white things are round. All nice things are kind. If Erin is white and Erin is green then Erin is kind.
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is green.
("Erin" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
All white things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
All nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If Erin is white and Erin is green then Erin is kind.
((("Erin" "is" "white" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "kind" "+"))
Bob is nice.
True
1
proof
[(triple2)]
("Bob" "is" "nice" "+")
triple2
Erin is not green.
False
1
inv-proof
[(triple5)]
("Erin" "is" "green" "-")
triple5
Gary is kind.
True
2
proof
[(((triple6) -> rule2))]
("Gary" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
2
inv-proof
[(((triple6) -> rule2))]
("Gary" "is" "kind" "-")
((triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "kind" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Dave is kind.[(triple3)] Dave is rough.[(triple4)] Erin is green.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] @1: Bob is kind.[(((triple2) -> rule2))] Gary is kind.[(((triple6) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1