Anne is blue. Anne is round. Fiona is white. If Anne is round then Anne is white. All round, smart things are green. If something is smart then it is red. If Fiona is red and Fiona is round then Fiona is quiet. If Fiona is white then Fiona is quiet. If something is red and blue then it is round.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Anne is round then Anne is white.
((("Anne" "is" "round" "+")) -> ("Anne" "is" "white" "+"))
All round, smart things are green.
((("something" "is" "round" "+") ("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If something is smart then it is red.
((("something" "is" "smart" "+")) -> ("something" "is" "red" "+"))
If Fiona is red and Fiona is round then Fiona is quiet.
((("Fiona" "is" "red" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "quiet" "+"))
If Fiona is white then Fiona is quiet.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "quiet" "+"))
If something is red and blue then it is round.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Anne is not round.
False
1
inv-proof
[(triple2)]
("Anne" "is" "round" "-")
triple2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "red" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Fiona is white.[(triple3)] @1: Anne is white.[(((triple2) -> rule1))] Fiona is quiet.[(((triple3) -> rule5))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple3) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1