Bob is furry. Bob is quiet. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is round. Fiona is kind. Fiona is round. Green, red people are white.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Green, red people are white.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Bob is quiet.
True
1
proof
[(triple2)]
("Bob" "is" "quiet" "+")
triple2
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Fiona is kind.[(triple9)] Fiona is round.[(triple10)] @1: Dave is white.[(((triple4 triple7) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
((triple4 triple7) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1