Anne is not blue. Charlie is rough. Erin is furry. Fiona is blue. All rough people are furry. If Fiona is kind then Fiona is not furry. If someone is round then they are not kind. Cold people are not kind. If Fiona is furry then Fiona is not round. If Anne is round and Anne is not blue then Anne is not cold. If Erin is not white then Erin is kind. If Anne is cold and Anne is not blue then Anne is furry.
Anne is not blue.
("Anne" "is" "blue" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
All rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is kind then Fiona is not furry.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "furry" "-"))
If someone is round then they are not kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "-"))
Cold people are not kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "-"))
If Fiona is furry then Fiona is not round.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "round" "-"))
If Anne is round and Anne is not blue then Anne is not cold.
((("Anne" "is" "round" "+") ("Anne" "is" "blue" "~")) -> ("Anne" "is" "cold" "-"))
If Erin is not white then Erin is kind.
((("Erin" "is" "white" "~")) -> ("Erin" "is" "kind" "+"))
If Anne is cold and Anne is not blue then Anne is furry.
((("Anne" "is" "cold" "+") ("Anne" "is" "blue" "~")) -> ("Anne" "is" "furry" "+"))
Erin is furry.
True
1
proof
[(triple3)]
("Erin" "is" "furry" "+")
triple3
Anne is blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Charlie is furry.
True
2
proof
[(((triple2) -> rule1))]
("Charlie" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple2) -> rule1))]
("Charlie" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "kind" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "furry" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is not blue.[(triple1)] Charlie is rough.[(triple2)] Erin is furry.[(triple3)] Fiona is blue.[(triple4)] @1: Charlie is furry.[(((triple2) -> rule1))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1