Dave is cold. Dave is kind. Dave is nice. Gary is furry. Gary is quiet. Harry is not blue. Harry is green. If something is nice and cold then it is green. Quiet things are green. Cold, blue things are not green. All furry things are green. If Gary is not furry then Gary is blue. If Gary is cold then Gary is not kind.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is green.
("Harry" "is" "green" "+")
If something is nice and cold then it is green.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
Cold, blue things are not green.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "-"))
All furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If Gary is not furry then Gary is blue.
((("Gary" "is" "furry" "~")) -> ("Gary" "is" "blue" "+"))
If Gary is cold then Gary is not kind.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "kind" "-"))
Harry is green.
True
1
proof
[(triple7)]
("Harry" "is" "green" "+")
triple7
Gary is not furry.
False
1
inv-proof
[(triple4)]
("Gary" "is" "furry" "-")
triple4
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Gary is furry.[(triple4)] Gary is quiet.[(triple5)] Harry is green.[(triple7)] Harry is not blue.[(triple6)] @1: Dave is green.[(((triple3 triple1) -> rule1))] Gary is green.[(((triple4) -> rule4) OR ((triple5) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is not blue.
("Harry" "is" "blue" "-")
triple6
Dave is green.
("Dave" "is" "green" "+")
((triple3 triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple4) -> (rule4 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple5) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1