Anne is not big. Anne is furry. Erin is big. Erin is cold. Erin is furry. Erin is nice. Erin is young. Nice things are white.
Anne is not big.
("Anne" "is" "big" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Erin is big.
True
1
proof
[(triple3)]
("Erin" "is" "big" "+")
triple3
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Erin is white.
True
2
proof
[(((triple6) -> rule1))]
("Erin" "is" "white" "+")
((triple6) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple6) -> rule1))]
("Erin" "is" "white" "-")
((triple6) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Anne is furry.[(triple2)] Anne is not big.[(triple1)] Erin is big.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Erin is nice.[(triple6)] Erin is young.[(triple7)] @1: Erin is white.[(((triple6) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
((triple6) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1