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