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