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