Dave is cold. Dave is not furry. Dave is quiet. Dave is white. Erin is cold. Erin is not nice. Erin is white. If something is nice and not white then it is young. If something is red and cold then it is quiet. If Erin is young and Erin is not cold then Erin is red.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is white.
("Erin" "is" "white" "+")
If something is nice and not white then it is young.
((("something" "is" "nice" "+") ("something" "is" "white" "~")) -> ("something" "is" "young" "+"))
If something is red and cold then it is quiet.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
If Erin is young and Erin is not cold then Erin is red.
((("Erin" "is" "young" "+") ("Erin" "is" "cold" "~")) -> ("Erin" "is" "red" "+"))
Erin is not nice.
True
1
proof
[(triple6)]
("Erin" "is" "nice" "-")
triple6
Erin is not cold.
False
1
inv-proof
[(triple5)]
("Erin" "is" "cold" "-")
triple5
Dave is not young.
Unknown
inv-rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Dave is cold.[(triple1)] Dave is not furry.[(triple2)] Dave is quiet.[(triple3)] Dave is white.[(triple4)] Erin is cold.[(triple5)] Erin is not nice.[(triple6)] Erin is white.[(triple7)]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is not furry.
("Dave" "is" "furry" "-")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is not nice.
("Erin" "is" "nice" "-")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7