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