Anne is young. Dave is cold. Dave is furry. Dave is not green. Dave is not nice. Dave is rough. Dave is young. Harry is furry. Harry is nice. Harry is round. If something is nice and not furry then it is green. If something is rough and not round then it is green. If Dave is cold and Dave is furry then Dave is not nice.
Anne is young.
("Anne" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is nice and not furry then it is green.
((("something" "is" "nice" "+") ("something" "is" "furry" "~")) -> ("something" "is" "green" "+"))
If something is rough and not round then it is green.
((("something" "is" "rough" "+") ("something" "is" "round" "~")) -> ("something" "is" "green" "+"))
If Dave is cold and Dave is furry then Dave is not nice.
((("Dave" "is" "cold" "+") ("Dave" "is" "furry" "+")) -> ("Dave" "is" "nice" "-"))
Dave is young.
True
1
proof
[(triple7)]
("Dave" "is" "young" "+")
triple7
Dave is not cold.
False
1
inv-proof
[(triple2)]
("Dave" "is" "cold" "-")
triple2
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is young.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is not green.[(triple4)] Dave is not nice.[(triple5 OR ((triple2 triple3) -> rule3))] Dave is rough.[(triple6)] Dave is young.[(triple7)] Harry is furry.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10)]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is furry.
("Dave" "is" "furry" "+")
triple3
Dave is not green.
("Dave" "is" "green" "-")
triple4
Dave is not nice.
("Dave" "is" "nice" "-")
triple5
((triple2 triple3) -> (rule3 % int1))
Dave is not nice.
("Dave" "is" "nice" "-")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10