Charlie is kind. Charlie is nice. Dave is kind. Dave is nice. Dave is not quiet. Dave is young. Gary is young. If Gary is not quiet then Gary is round. If Gary is young then Gary is furry. If Charlie is quiet then Charlie is white. If Dave is white then Dave is round. If someone is nice and not furry then they are white. All furry, young people are not white.
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is young.
("Dave" "is" "young" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is not quiet then Gary is round.
((("Gary" "is" "quiet" "~")) -> ("Gary" "is" "round" "+"))
If Gary is young then Gary is furry.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "furry" "+"))
If Charlie is quiet then Charlie is white.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "white" "+"))
If Dave is white then Dave is round.
((("Dave" "is" "white" "+")) -> ("Dave" "is" "round" "+"))
If someone is nice and not furry then they are white.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "white" "+"))
All furry, young people are not white.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "-"))
Gary is young.
True
1
proof
[(triple7)]
("Gary" "is" "young" "+")
triple7
Dave is quiet.
False
1
inv-proof
[(triple5)]
("Dave" "is" "quiet" "+")
triple5
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not quiet.[(triple5)] Dave is young.[(triple6)] Gary is young.[(triple7)] @1: Gary is furry.[(((triple7) -> rule2))] @2: Gary is not white.[(((((triple7) -> rule2) triple7) -> rule6))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
((triple7) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not white.
("Gary" "is" "white" "-")
((((triple7) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2