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