Anne is cold. Anne is not kind. Charlie is cold. If Charlie is cold then Charlie is not young. All young, nice people are white. If Anne is white and Anne is cold then Anne is red. If someone is nice then they are not young. If someone is red and not white then they are not smart. If someone is white and not young then they are red. All young, white people are red. If Anne is not nice and Anne is not young then Anne is kind.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
If Charlie is cold then Charlie is not young.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "young" "-"))
All young, nice people are white.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If Anne is white and Anne is cold then Anne is red.
((("Anne" "is" "white" "+") ("Anne" "is" "cold" "+")) -> ("Anne" "is" "red" "+"))
If someone is nice then they are not young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "-"))
If someone is red and not white then they are not smart.
((("someone" "is" "red" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "smart" "-"))
If someone is white and not young then they are red.
((("someone" "is" "white" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "red" "+"))
All young, white people are red.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If Anne is not nice and Anne is not young then Anne is kind.
((("Anne" "is" "nice" "~") ("Anne" "is" "young" "~")) -> ("Anne" "is" "kind" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Charlie is not young.
True
2
proof
[(((triple3) -> rule1))]
("Charlie" "is" "young" "-")
((triple3) -> (rule1 % int1))
Charlie is not young.
("Charlie" "is" "young" "-")
int1
Charlie is young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Charlie" "is" "young" "+")
((triple3) -> (rule1 % int1))
Charlie is not young.
("Charlie" "is" "young" "-")
int1
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "red" "-")
Anne is white.
Unknown
rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "white" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Anne is not kind.[(triple2)] Charlie is cold.[(triple3)] @1: Charlie is not young.[(((triple3) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is not young.
("Charlie" "is" "young" "-")
((triple3) -> (rule1 % int1))
Charlie is not young.
("Charlie" "is" "young" "-")
int1