Charlie is young. Gary is nice. Gary is not young. If Gary is cold and Gary is not nice then Gary is white. All furry, nice people are not young. Cold people are round. All nice people are not round. All cold, furry people are white. If someone is green and not round then they are not white.
Charlie is young.
("Charlie" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not young.
("Gary" "is" "young" "-")
If Gary is cold and Gary is not nice then Gary is white.
((("Gary" "is" "cold" "+") ("Gary" "is" "nice" "~")) -> ("Gary" "is" "white" "+"))
All furry, nice people are not young.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "-"))
Cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All nice people are not round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
All cold, furry people are white.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
If someone is green and not round then they are not white.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "white" "-"))
Gary is not young.
True
1
proof
[(triple3)]
("Gary" "is" "young" "-")
triple3
Charlie is not young.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "young" "-")
triple1
Gary is not round.
True
2
proof
[(((triple2) -> rule4))]
("Gary" "is" "round" "-")
((triple2) -> (rule4 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is round.
False
2
inv-proof
[(((triple2) -> rule4))]
("Gary" "is" "round" "+")
((triple2) -> (rule4 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Charlie is young.[(triple1)] Gary is nice.[(triple2)] Gary is not young.[(triple3)] @1: Gary is not round.[(((triple2) -> rule4))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
triple2
Gary is not young.
("Gary" "is" "young" "-")
triple3
Gary is not round.
("Gary" "is" "round" "-")
((triple2) -> (rule4 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1