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