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