Anne is quiet. Bob is blue. Bob is white. Fiona is blue. Fiona is green. Fiona is red. Gary is not blue. Gary is quiet. Gary is red. Gary is white. If someone is red then they are quiet. White people are green. If Anne is nice and Anne is not red then Anne is not white.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is red then they are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
White people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Anne is nice and Anne is not red then Anne is not white.
((("Anne" "is" "nice" "+") ("Anne" "is" "red" "~")) -> ("Anne" "is" "white" "-"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "blue" "-")
triple4
Fiona is quiet.
True
2
proof
[(((triple6) -> rule1))]
("Fiona" "is" "quiet" "+")
((triple6) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple10) -> rule2))]
("Gary" "is" "green" "-")
((triple10) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "-")
Anne is green.
Unknown
rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "green" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is quiet.[(triple1)] Bob is blue.[(triple2)] Bob is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Gary is not blue.[(triple7)] Gary is quiet.[(triple8 OR ((triple9) -> rule1))] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Bob is green.[(((triple3) -> rule2))] Fiona is quiet.[(((triple6) -> rule1))] Gary is green.[(((triple10) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Gary is not blue.
("Gary" "is" "blue" "-")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple9) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple6) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple10) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1