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