Bob is blue. Bob is cold. Bob is nice. Bob is young. Dave is cold. Dave is rough. Dave is young. Gary is cold. Gary is nice. Gary is round. All nice things are white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
All nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Bob is nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Dave is not young.
False
1
inv-proof
[(triple7)]
("Dave" "is" "young" "-")
triple7
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is young.[(triple4)] Dave is cold.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is round.[(triple10)] @1: Bob is white.[(((triple3) -> rule1))] Gary is white.[(((triple9) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Bob is white.
("Bob" "is" "white" "+")
((triple3) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple9) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1