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