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