Bob is nice. Bob is round. Charlie is cold. Charlie is green. Charlie is nice. Dave is cold. Dave is furry. Dave is green. Dave is round. Fiona is green. All white, round things are cold. If something is cold and round then it is quiet.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
All white, round things are cold.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is cold and round then it is quiet.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Dave is cold.
True
1
proof
[(triple6)]
("Dave" "is" "cold" "+")
triple6
Dave is not furry.
False
1
inv-proof
[(triple7)]
("Dave" "is" "furry" "-")
triple7
Dave is quiet.
True
3
proof
[(((triple6 triple9) -> rule2))]
("Dave" "is" "quiet" "+")
((triple6 triple9) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is not quiet.
False
3
inv-proof
[(((triple6 triple9) -> rule2))]
("Dave" "is" "quiet" "-")
((triple6 triple9) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "cold" "-")
Charlie is quiet.
Unknown
rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "quiet" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Bob is nice.[(triple1)] Bob is round.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] Dave is green.[(triple8)] Dave is round.[(triple9)] Fiona is green.[(triple10)] @1: Dave is quiet.[(((triple6 triple9) -> rule2))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple6 triple9) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1