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