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