Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is rough. Erin is furry. Erin is green. Erin is kind. Erin is rough. Erin is young. All young people are cold. All cold, red people are kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
All young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
All cold, red people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Erin is rough.
True
1
proof
[(triple9)]
("Erin" "is" "rough" "+")
triple9
Anne is not rough.
False
1
inv-proof
[(triple5)]
("Anne" "is" "rough" "-")
triple5
Erin is cold.
True
2
proof
[(((triple10) -> rule1))]
("Erin" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple10) -> rule1))]
("Erin" "is" "cold" "-")
((triple10) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] @1: Erin is cold.[(((triple10) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Erin is furry.
("Erin" "is" "furry" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1