Anne is quiet. Bob is furry. Harry is quiet. Kind things are nice. Furry, rough things are quiet. If Harry is rough and Harry is furry then Harry is young. If something is nice and kind then it is white. Furry, kind things are nice. If something is young then it is white.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Kind things are nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Furry, rough things are quiet.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "quiet" "+"))
If Harry is rough and Harry is furry then Harry is young.
((("Harry" "is" "rough" "+") ("Harry" "is" "furry" "+")) -> ("Harry" "is" "young" "+"))
If something is nice and kind then it is white.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Furry, kind things are nice.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If something is young then it is white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Bob is not furry.
False
1
inv-proof
[(triple2)]
("Bob" "is" "furry" "-")
triple2
Bob is not white.
Unknown
inv-rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "white" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is quiet.[(triple1)] Bob is furry.[(triple2)] Harry is quiet.[(triple3)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3