Anne is kind. Erin is cold. Gary is kind. Kind people are young. If Gary is young then Gary is kind. If Anne is rough then Anne is young. All red people are cold. If someone is cold then they are kind. Quiet, red people are blue.
Anne is kind.
("Anne" "is" "kind" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If Gary is young then Gary is kind.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "kind" "+"))
If Anne is rough then Anne is young.
((("Anne" "is" "rough" "+")) -> ("Anne" "is" "young" "+"))
All red people are cold.
((("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Quiet, red people are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Erin is cold.
True
1
proof
[(triple2)]
("Erin" "is" "cold" "+")
triple2
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Gary is young.
True
2
proof
[(((triple3) -> rule1))]
("Gary" "is" "young" "+")
((triple3) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Gary" "is" "young" "-")
((triple3) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "blue" "-")
Anne is cold.
Unknown
rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "cold" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is kind.[(triple1)] Erin is cold.[(triple2)] Gary is kind.[(triple3)] @1: Anne is young.[(((triple1) -> rule1))] Erin is kind.[(((triple2) -> rule5))] Gary is young.[(((triple3) -> rule1))] @2: Erin is young.[(((((triple2) -> rule5)) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple2) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple3) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2