Gary is blue. Gary is green. Gary is red. All red people are furry. If someone is red and kind then they are cold. All kind, furry people are green.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is red and kind then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
All kind, furry people are green.
((("someone" "is" "kind" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Gary is blue.
True
1
proof
[(triple1)]
("Gary" "is" "blue" "+")
triple1
Gary is not green.
False
1
inv-proof
[(triple2)]
("Gary" "is" "green" "-")
triple2
Gary is furry.
True
2
proof
[(((triple3) -> rule1))]
("Gary" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple3) -> rule1))]
("Gary" "is" "furry" "-")
((triple3) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "cold" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Gary is blue.[(triple1)] Gary is green.[(triple2)] Gary is red.[(triple3)] @1: Gary is furry.[(((triple3) -> rule1))]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is furry.
("Gary" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1