Anne is furry. If Anne is furry and Anne is quiet then Anne is blue. All round people are furry. Red people are not cold. Furry people are cold. If someone is red and not cold then they are blue. If someone is furry and cold then they are not kind. All blue, furry people are not kind. Blue people are kind.
Anne is furry.
("Anne" "is" "furry" "+")
If Anne is furry and Anne is quiet then Anne is blue.
((("Anne" "is" "furry" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "blue" "+"))
All round people are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Red people are not cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "-"))
Furry people are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and not cold then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "blue" "+"))
If someone is furry and cold then they are not kind.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "-"))
All blue, furry people are not kind.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "-"))
Blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Anne is not furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "-")
triple1
Anne is cold.
True
2
proof
[(((triple1) -> rule4))]
("Anne" "is" "cold" "+")
((triple1) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple1) -> rule4))]
("Anne" "is" "cold" "-")
((triple1) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is furry.[(triple1)] @1: Anne is cold.[(((triple1) -> rule4))] @2: Anne is not kind.[(((triple1 ((triple1) -> rule4)) -> rule6))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not kind.
("Anne" "is" "kind" "-")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2