Gary is green. Gary is kind. Gary is quiet. Gary is round. Harry is not quiet. Harry is not round. Harry is white. If something is green and not white then it is not quiet. If something is round and not young then it is kind. If Harry is round and Harry is not kind then Harry is nice.
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is not round.
("Harry" "is" "round" "-")
Harry is white.
("Harry" "is" "white" "+")
If something is green and not white then it is not quiet.
((("something" "is" "green" "+") ("something" "is" "white" "~")) -> ("something" "is" "quiet" "-"))
If something is round and not young then it is kind.
((("something" "is" "round" "+") ("something" "is" "young" "~")) -> ("something" "is" "kind" "+"))
If Harry is round and Harry is not kind then Harry is nice.
((("Harry" "is" "round" "+") ("Harry" "is" "kind" "~")) -> ("Harry" "is" "nice" "+"))
Harry is not round.
True
1
proof
[(triple6)]
("Harry" "is" "round" "-")
triple6
Harry is quiet.
False
1
inv-proof
[(triple5)]
("Harry" "is" "quiet" "+")
triple5
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Gary is green.[(triple1)] Gary is kind.[(triple2)] Gary is quiet.[(triple3)] Gary is round.[(triple4)] Harry is not quiet.[(triple5)] Harry is not round.[(triple6)] Harry is white.[(triple7)]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is kind.
("Gary" "is" "kind" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple5
Harry is not round.
("Harry" "is" "round" "-")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7