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