Anne is green. Anne is nice. Anne is round. Dave is furry. Dave is nice. Dave is quiet. Dave is round. If someone is round and kind then they are blue. Quiet, furry people are green.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
If someone is round and kind then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Quiet, furry people are green.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Anne is round.
True
1
proof
[(triple3)]
("Anne" "is" "round" "+")
triple3
Dave is not nice.
False
1
inv-proof
[(triple5)]
("Dave" "is" "nice" "-")
triple5
Dave is green.
True
3
proof
[(((triple6 triple4) -> rule2))]
("Dave" "is" "green" "+")
((triple6 triple4) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple6 triple4) -> rule2))]
("Dave" "is" "green" "-")
((triple6 triple4) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Anne is blue.
Unknown
rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is round.[(triple7)] @1: Dave is green.[(((triple6 triple4) -> rule2))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
((triple6 triple4) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1