Anne is furry. Anne is not round. Erin is furry. Erin is green. Erin is nice. Erin is round. Erin is young. All young, kind things are not nice. All nice, white things are kind.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not round.
("Anne" "is" "round" "-")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
All young, kind things are not nice.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "-"))
All nice, white things are kind.
((("something" "is" "nice" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Erin is furry.
True
1
proof
[(triple3)]
("Erin" "is" "furry" "+")
triple3
Erin is not round.
False
1
inv-proof
[(triple6)]
("Erin" "is" "round" "-")
triple6
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "kind" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is furry.[(triple1)] Anne is not round.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7)]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is not round.
("Anne" "is" "round" "-")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7