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