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