Anne is quiet. Anne is round. Anne is white. Dave is round. Fiona is quiet. Fiona is round. Gary is white. Round things are blue. If something is blue then it is round.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is blue then it is round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Fiona is quiet.
True
1
proof
[(triple5)]
("Fiona" "is" "quiet" "+")
triple5
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Dave is blue.
True
2
proof
[(((triple4) -> rule1))]
("Dave" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "blue" "-")
((triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Gary is not round.
Unknown
inv-rconc
[@2: Gary is round.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Gary" "is" "round" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3)] Dave is round.[(triple4)] Fiona is quiet.[(triple5)] Fiona is round.[(triple6)] Gary is white.[(triple7)] @1: Anne is blue.[(((triple2) -> rule1))] Dave is blue.[(((triple4) -> rule1))] Fiona is blue.[(((triple6) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
Anne is blue.
("Anne" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple4) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1