Anne is not cold. Erin is kind. Fiona is young. All young, cold people are blue. All young people are not blue. Green people are nice. Nice people are cold. All green people are kind. If someone is green and not blue then they are not kind.
Anne is not cold.
("Anne" "is" "cold" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All young, cold people are blue.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
All young people are not blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "-"))
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
All green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and not blue then they are not kind.
((("someone" "is" "green" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "kind" "-"))
Anne is not cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Erin is not kind.
False
1
inv-proof
[(triple2)]
("Erin" "is" "kind" "-")
triple2
Fiona is not blue.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "blue" "-")
((triple3) -> (rule2 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "blue" "+")
((triple3) -> (rule2 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is not cold.
Unknown
inv-rconc
[@2: Fiona is cold.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "nice" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is not cold.[(triple1)] Erin is kind.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is not blue.[(((triple3) -> rule2))]
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is not blue.
("Fiona" "is" "blue" "-")
((triple3) -> (rule2 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1