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