Charlie is big. Charlie is blue. Charlie is furry. Charlie is round. Charlie is white. Gary is big. Gary is round. Kind, blue people are furry. If someone is nice and not kind then they are furry. If someone is round and nice then they are white. Big people are round. If someone is white and not nice then they are not round. All white, kind people are not big. If Charlie is kind then Charlie is big. If Gary is blue then Gary is not round.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Kind, blue people are furry.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If someone is nice and not kind then they are furry.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "furry" "+"))
If someone is round and nice then they are white.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is white and not nice then they are not round.
((("someone" "is" "white" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "round" "-"))
All white, kind people are not big.
((("someone" "is" "white" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "-"))
If Charlie is kind then Charlie is big.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "big" "+"))
If Gary is blue then Gary is not round.
((("Gary" "is" "blue" "+")) -> ("Gary" "is" "round" "-"))
Charlie is white.
True
1
proof
[(triple5)]
("Charlie" "is" "white" "+")
triple5
Charlie is not round.
False
1
inv-proof
[(triple4 OR ((triple1) -> rule4))]
("Charlie" "is" "round" "-")
triple4
((triple1) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is round.[(triple4 OR ((triple1) -> rule4))] Charlie is white.[(triple5)] Gary is big.[(triple6)] Gary is round.[(triple7 OR ((triple6) -> rule4))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple4
((triple1) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
((triple6) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1