Anne is quiet. Erin is quiet. Fiona is red. If Anne is smart then Anne is not round. If someone is smart then they are quiet. All red people are not white. White people are round. If Fiona is white and Fiona is not red then Fiona is not furry. If someone is smart and not white then they are blue.
Anne is quiet.
("Anne" "is" "quiet" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If Anne is smart then Anne is not round.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "round" "-"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
All red people are not white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "-"))
White people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If Fiona is white and Fiona is not red then Fiona is not furry.
((("Fiona" "is" "white" "+") ("Fiona" "is" "red" "~")) -> ("Fiona" "is" "furry" "-"))
If someone is smart and not white then they are blue.
((("someone" "is" "smart" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "blue" "+"))
Fiona is red.
True
1
proof
[(triple3)]
("Fiona" "is" "red" "+")
triple3
Fiona is not red.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "red" "-")
triple3
Fiona is not white.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "white" "-")
((triple3) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is white.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "white" "+")
((triple3) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "round" "+")
Fiona is not smart.
Unknown
inv-random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Anne is quiet.[(triple1)] Erin is quiet.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is not white.[(((triple3) -> rule3))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is not white.
("Fiona" "is" "white" "-")
((triple3) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1